infra: Fixes to the build infrastructure #1135

Job	Run time
warnings-new (ubuntu-latest)	2m 57s
warnings-new (macos-latest)	2m 33s
build-docs (macos-latest)	3m 12s
run-tests-python (ubuntu-latest, 3.13, tarball)	5m 26s
run-tests-python (macos-latest, 3.13, tarball)	6m 40s
run-tests (macos-latest)	3m 0s
run-tests-python (ubuntu-latest, 3.13, src)	4m 5s
run-tests (ubuntu-latest)	3m 40s
warnings-base (macos-latest)	2m 31s
run-tests-python (macos-latest, 3.13, src)	4m 30s
build-docs (ubuntu-latest)	4m 26s
format-check	49s
warnings-base (ubuntu-latest)	3m 37s
code-coverage	3m 8s
compare-versions (macos-latest)	8s
compare-versions (ubuntu-latest)	8s
	50m 50s

Provide feedback