Skip to content
Build Standalone

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

Sign in to view logs

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

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

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