Skip to content
Test opam package

Update coq-debian.yml (#1877) #854

Sign in to view logs

Update coq-debian.yml (#1877)

Update coq-debian.yml (#1877) #854

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
40m 14s
install (dev, 4.11.1, macOS, macos-latest)
1h 9m 50s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 37m 1s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
39m 40s
install (8.19.0, 4.11.1, macOS, macos-latest)
1h 16m 16s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 36m 11s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
41m 32s
install (8.18.0, 4.11.1, macOS, macos-latest)
1h 28m 49s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 44m 25s
10h 53m 58s