Skip to content
Test opam package

Update coq-opam-package.yml (#1889) #863

Sign in to view logs

Update coq-opam-package.yml (#1889)

Update coq-opam-package.yml (#1889) #863

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.08.1)
2m 18s
install (dev, macOS, macos-latest, 4.14.2)
29m 53s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 38m 40s
install (8.19.0, Ubuntu, ubuntu-latest, 4.08.1)
2m 18s
install (8.19.0, macOS, macos-latest, 4.14.2)
29m 11s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 39m 6s
install (8.18.0, Ubuntu, ubuntu-latest, 4.08.1)
5m 21s
install (8.18.0, macOS, macos-latest, 4.14.2)
34m 26s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 44m 35s
6h 45m 48s