Skip to content
Test opam package

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#1957)

Adapt to https://github.com/coq/coq/pull/19530 (#1957) #907

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
39m 36s
install (dev, macOS, macos-latest, 4.14.2)
32m 25s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
2m 21s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
41m 36s
install (8.19.0, macOS, macos-latest, 4.14.2)
40m 2s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
2m 18s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
42m 41s
install (8.18.0, macOS, macos-latest, 4.14.2)
35m 56s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
2m 20s
3h 59m 15s