Merge pull request #1408 from herbie-fp/autofix-52-1 #4666

Job	Run time
distribute (macos-latest, aarch64)	7m 5s
distribute (macos-13, x64)	14m 37s
distribute (windows-latest, x64)	7m 17s
distribute (ubuntu-latest, x64)	3m 20s
	32m 19s

Provide feedback