Skip to content
Build Standalone

Hopeful compatibility with coq/coq#19599 #585

Sign in to view logs

Hopeful compatibility with coq/coq#19599

Hopeful compatibility with coq/coq#19599 #585

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (3.10, macos-latest)
28s
build (3.10, ubuntu-latest)
32s
build (3.10, windows-latest)
1m 7s
build (3.11, macos-latest)
34s
build (3.11, ubuntu-latest)
37s
build (3.11, windows-latest)
1m 9s
build (3.12, macos-latest)
1m 5s
build (3.12, ubuntu-latest)
49s
build (3.12, windows-latest)
1m 43s
build (3.7, ubuntu-latest)
35s
build (3.8, macos-latest)
1m 4s
build (3.8, ubuntu-latest)
27s
build (3.8, windows-latest)
1m 13s
build (3.9, macos-latest)
28s
build (3.9, ubuntu-latest)
34s
build (3.9, windows-latest)
1m 20s
build (macos-13, 3.6)
1m 11s
build (macos-13, 3.7)
1m 27s
build (ubuntu-20.04, 3.6)
26s
standalone-check-all
1s
16m 50s