Skip to content
CI (Coq, opam)

drop support for macOS 12 #931

Sign in to view logs

drop support for macOS 12

drop support for macOS 12 #931

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
37m 25s
install (dev, macOS, macos-latest, 4.14.2)
38m 54s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
1h 25m 55s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
39m 55s
install (8.19.0, macOS, macos-latest, 4.14.2)
37m 32s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 30m 54s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
41m 23s
install (8.18.0, macOS, macos-latest, 4.14.2)
41m 9s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 36m 24s
8h 29m 31s