Skip to content
CI (Coq, opam)

[CI] [alpine-edge] coq => rocq (#2066) #997

Sign in to view logs

[CI] [alpine-edge] coq => rocq (#2066)

[CI] [alpine-edge] coq => rocq (#2066) #997

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
1h 30m 42s
install (dev, macOS, macos-latest, 4.14.2)
33m 36s
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)
39m 37s
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
42m 21s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 39m 30s
install (8.20.0, macOS, macos-latest, 4.14.2)
37m 28s
install (8.18.0, macOS, macos-latest, 4.14.2)
37m 15s
install (8.19.0, macOS, macos-latest, 4.14.2)
35m 15s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
40m 38s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 39s
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 33m 23s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 35m 17s
11h 27m 41s