Build Standalone

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.10, macos-latest)	45s
build (3.10, ubuntu-latest)	1m 14s
build (3.10, windows-latest)	53s
build (3.11, macos-latest)	44s
build (3.11, ubuntu-latest)	37s
build (3.11, windows-latest)	1m 6s
build (3.12, macos-latest)	45s
build (3.12, ubuntu-latest)	53s
build (3.12, windows-latest)	1m 45s
build (3.7, ubuntu-latest)	34s
build (3.8, macos-latest)	1m 2s
build (3.8, windows-latest)	1m 3s
build (3.8, ubuntu-latest)	35s
build (3.9, macos-latest)	51s
build (3.9, ubuntu-latest)	31s
build (3.9, windows-latest)	1m 6s
build (macos-13, 3.6)	45s
build (macos-13, 3.7)	59s
build (ubuntu-20.04, 3.6)	28s
standalone-check-all	1s
	16m 37s