Merge pull request #1415 from herbie-fp/nicer-schedules #4673

Job	Run time
distribute (windows-latest, x64)	7m 36s
distribute (macos-13, x64)	17m 10s
distribute (ubuntu-latest, x64)	3m 31s
distribute (macos-latest, aarch64)	7m 36s
	35m 53s

Provide feedback