Skip to content
CI (Coq, opam)

Merge pull request #2048 from JasonGross/string-examples #991

Sign in to view logs

Merge pull request #2048 from JasonGross/string-examples

Merge pull request #2048 from JasonGross/string-examples #991

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)
39m 47s
install (dev, macOS, macos-latest, 4.14.2)
36m 7s
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
39m 42s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...
1h 32m 13s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 36m 22s
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 35m 47s
install (8.19.0, macOS, macos-latest, 4.14.2)
45m 51s
install (8.20.0, macOS, macos-latest, 4.14.2)
41m 18s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
41m 12s
install (8.18.0, macOS, macos-latest, 4.14.2)
42m 36s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...
1h 52m 57s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
41m 53s
12h 5m 45s