Build Standalone

Adapt to https://github.com/coq/coq/pull/19530 #639

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, macos-latest)	43s
build (3.10, ubuntu-latest)	30s
build (3.10, windows-latest)	1m 40s
build (3.11, macos-latest)	30s
build (3.11, ubuntu-latest)	43s
build (3.11, windows-latest)	1m 32s
build (3.12, macos-latest)	40s
build (3.12, ubuntu-latest)	52s
build (3.7, ubuntu-latest)	32s
build (3.12, windows-latest)	1m 40s
build (3.8, macos-latest)	59s
build (3.8, ubuntu-latest)	36s
build (3.8, windows-latest)	1m 16s
build (3.9, macos-latest)	40s
build (3.9, ubuntu-latest)	32s
build (3.9, windows-latest)	48s
build (macos-13, 3.6)	51s
build (macos-13, 3.7)	1m 7s
build (ubuntu-20.04, 3.6)	27s
standalone-check-all	1s
	16m 39s