Skip to content
Test opam package

Adapt to coq/coq#18273 (Ltac2 supports head reduction) (#1725) #713

Sign in to view logs

Adapt to coq/coq#18273 (Ltac2 supports head reduction) (#1725)

Adapt to coq/coq#18273 (Ltac2 supports head reduction) (#1725) #713

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, ubuntu-latest)
38m 34s
install (dev, 4.11.1, macos-latest)
56m 46s
install (dev, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opam-r...
2h 3m 32s
install (8.18.0, 4.11.1, ubuntu-latest)
38m 45s
install (8.18.0, 4.11.1, macos-latest)
1h 5m 46s
install (8.18.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...
3h 2m 19s
install (8.17.0, 4.11.1, ubuntu-latest)
41m 26s
install (8.17.0, 4.11.1, macos-latest)
52m 41s
install (8.17.0, 4.11.1, windows-latest, opam-repository-mingw: https://github.com/ocaml-opam/opa...
2h 17m 50s
12h 17m 39s