Skip to content
CI (Coq, opam)

Work around issue with brew and opam (#1989) #929

Sign in to view logs

Work around issue with brew and opam (#1989)

Work around issue with brew and opam (#1989) #929

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
37m 9s
install (dev, macOS, macos-latest, 4.14.2)
35m 4s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
1h 25m 29s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
39m 31s
install (8.19.0, macOS, macos-latest, 4.14.2)
45m 47s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 30m 34s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
40m 49s
install (8.18.0, macOS, macos-latest, 4.14.2)
37m 40s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 33m 47s
8h 25m 50s