Skip to content
Test opam package

fix (#1860) #841

Sign in to view logs

fix (#1860)

fix (#1860) #841

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
39m 5s
install (dev, 4.11.1, macOS, macos-latest)
1h 13m 26s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 35m 33s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
39m 15s
install (8.19.0, 4.11.1, macOS, macos-latest)
1h 12m 32s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 32m 9s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
40m 5s
install (8.18.0, 4.11.1, macOS, macos-latest)
1h 16m 17s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 39m 3s
10h 27m 25s