Skip to content
Build Standalone

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.10, macos-latest)
52s
build (3.10, ubuntu-latest)
33s
build (3.11, macos-latest)
29s
build (3.11, ubuntu-latest)
40s
build (3.11, windows-latest)
1m 19s
build (3.12, macos-latest)
49s
build (3.12, ubuntu-latest)
50s
build (3.12, windows-latest)
1m 12s
build (3.10, windows-latest)
1m 24s
build (3.7, ubuntu-latest)
29s
build (3.8, macos-latest)
56s
build (3.8, ubuntu-latest)
32s
build (3.9, ubuntu-latest)
31s
build (3.8, windows-latest)
1m 8s
build (3.9, macos-latest)
43s
build (3.9, windows-latest)
54s
build (macos-13, 3.6)
52s
build (macos-13, 3.7)
1m 6s
build (ubuntu-20.04, 3.6)
26s
standalone-check-all
1s
15m 46s