Build Standalone

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, macos-latest)	41s
build (3.10, ubuntu-latest)	37s
build (3.10, windows-latest)	1m 30s
build (3.11, macos-latest)	28s
build (3.11, ubuntu-latest)	46s
build (3.11, windows-latest)	1m 13s
build (3.12, macos-latest)	39s
build (3.12, ubuntu-latest)	49s
build (3.12, windows-latest)	1m 16s
build (3.7, ubuntu-latest)	27s
build (3.8, macos-latest)	1m 7s
build (3.8, ubuntu-latest)	33s
build (3.8, windows-latest)	1m 27s
build (3.9, macos-latest)	40s
build (3.9, ubuntu-latest)	28s
build (3.9, windows-latest)	57s
build (macos-13, 3.6)	1m 0s
build (macos-13, 3.7)	1m 20s
build (ubuntu-20.04, 3.6)	32s
standalone-check-all	1s
	16m 31s