Skip to content
Test opam package

Update coq-windows.yml #699

Sign in to view logs

Update coq-windows.yml

Update coq-windows.yml #699

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, ubuntu-latest)
1h 7m 28s
install (dev, 4.11.1, macos-latest)
50m 32s
install (dev, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opam-r...
1h 35m 40s
install (8.18.0, 4.11.1, ubuntu-latest)
40m 13s
install (8.18.0, 4.11.1, macos-latest)
52m 5s
install (8.18.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...
2h 12m 30s
install (8.17.0, 4.11.1, ubuntu-latest)
1h 23m 29s
install (8.17.0, 4.11.1, macos-latest)
1h 0m 38s
install (8.17.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...
1h 39m 19s
11h 21m 54s