Build

Some tiny improvements here and there #1145

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (ubuntu-latest, 8.8)	12m 6s
build (ubuntu-latest, 8.10)	12m 17s
build (ubuntu-latest, 9.0)	12m 20s
build (ubuntu-latest, 9.2)	12m 10s
build (ubuntu-latest, 9.4)	12m 18s
build (ubuntu-latest, 9.6)	12m 2s
build (ubuntu-latest, 9.8)	10m 40s
build (ubuntu-latest, 9.10)	10m 53s
build (ubuntu-latest, latest)	11m 5s
build (windows-latest, latest)	9m 48s
build (macos-latest, latest)	7m 1s
	2h 2m 40s