Skip to content
Test opam package

CI (Coq, opam) #883

Sign in to view logs

CI (Coq, opam)

CI (Coq, opam) #883

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
43m 17s
install (dev, macOS, macos-latest, 4.14.2)
32m 47s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 37m 44s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
44m 21s
install (8.19.0, macOS, macos-latest, 4.14.2)
36m 44s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 37m 31s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
46m 35s
install (8.18.0, macOS, macos-latest, 4.14.2)
38m 16s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 42m 35s
8h 59m 50s