Merge pull request #1424 from herbie-fp/fix-macos-distribute #4680

Job	Run time
distribute (macos-15-intel, x64)	12m 46s
distribute (macos-latest, aarch64)	8m 43s
distribute (ubuntu-latest, x64)	4m 5s
distribute (windows-latest, x64)	8m 47s
	34m 21s

Provide feedback