Skip to content
Test opam package

Adapt w.r.t. coq/coq#19228. (#1934) #891

Sign in to view logs

Adapt w.r.t. coq/coq#19228. (#1934)

Adapt w.r.t. coq/coq#19228. (#1934) #891

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
40m 36s
install (dev, macOS, macos-latest, 4.14.2)
33m 10s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 29m 52s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
44m 5s
install (8.19.0, macOS, macos-latest, 4.14.2)
37m 21s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 34m 22s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
44m 11s
install (8.18.0, macOS, macos-latest, 4.14.2)
38m 7s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 38m 44s
8h 40m 28s