Build Standalone

Adapt to https://github.com/coq/coq/pull/19530 (#240) #642

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, macos-latest)	42s
build (3.10, ubuntu-latest)	36s
build (3.10, windows-latest)	1m 5s
build (3.11, macos-latest)	39s
build (3.11, ubuntu-latest)	48s
build (3.11, windows-latest)	1m 16s
build (3.12, macos-latest)	40s
build (3.12, ubuntu-latest)	51s
build (3.12, windows-latest)	2m 15s
build (3.7, ubuntu-latest)	36s
build (3.8, macos-latest)	1m 1s
build (3.8, ubuntu-latest)	36s
build (3.8, windows-latest)	1m 15s
build (3.9, macos-latest)	55s
build (3.9, ubuntu-latest)	33s
build (3.9, windows-latest)	1m 11s
build (macos-13, 3.6)	50s
build (macos-13, 3.7)	1m 2s
build (ubuntu-20.04, 3.6)	32s
standalone-check-all	1s
	17m 24s