Skip to content
Test opam package

CI (Coq, opam) #900

Sign in to view logs

CI (Coq, opam)

CI (Coq, opam) #900

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
36m 49s
install (dev, macOS, macos-latest, 4.14.2)
33m 43s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 31m 30s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 30s
install (8.19.0, macOS, macos-latest, 4.14.2)
33m 44s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 35m 22s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
40m 32s
install (8.18.0, macOS, macos-latest, 4.14.2)
34m 49s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 39m 52s
8h 28m 51s