Skip to content
Build Standalone

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.10, macos-latest)
1s
build (3.10, ubuntu-latest)
6s
build (3.10, windows-latest)
6s
build (3.11, macos-latest)
6s
build (3.11, ubuntu-latest)
17s
build (3.11, windows-latest)
7s
build (3.12, macos-latest)
7s
build (3.12, ubuntu-latest)
1s
build (3.12, windows-latest)
6s
build (3.7, ubuntu-latest)
9s
build (3.8, macos-latest)
5s
build (3.8, ubuntu-latest)
5s
build (3.8, windows-latest)
10s
build (3.9, macos-latest)
1s
build (3.9, ubuntu-latest)
7s
build (3.9, windows-latest)
6s
build (macos-13, 3.6)
1s
build (macos-13, 3.7)
1s
build (ubuntu-20.04, 3.6)
5s
standalone-check-all
1s
1m 48s