infra: Fixes to the build infrastructure #1137

Job	Run time
warnings-new (macos-latest)	2m 21s
warnings-base (ubuntu-latest)	3m 26s
build-docs (macos-latest)	4m 41s
run-tests (ubuntu-latest)	3m 40s
format-check	34s
run-tests-python (ubuntu-latest, 3.13, tarball)	5m 19s
warnings-new (ubuntu-latest)	3m 40s
run-tests-python (macos-latest, 3.13, tarball)	6m 53s
run-tests-python (ubuntu-latest, 3.13, src)	3m 33s
run-tests-python (macos-latest, 3.13, src)	5m 2s
run-tests (macos-latest)	1m 52s
warnings-base (macos-latest)	1m 52s
build-docs (ubuntu-latest)	4m 18s
compare-versions (macos-latest)	8s
compare-versions (ubuntu-latest)	7s
code-coverage	3m 8s
	50m 34s

Provide feedback