Merge pull request #1405 from herbie-fp/autofix-51-1 #4667

Job	Run time
distribute (macos-latest, aarch64)	8m 4s
distribute (ubuntu-latest, x64)	6m 26s
distribute (windows-latest, x64)	7m 9s
distribute (macos-13, x64)	16m 14s
	37m 53s

Provide feedback