Skip to content
Test opam package

fix Debian CI (#1946) #897

Sign in to view logs

fix Debian CI (#1946)

fix Debian CI (#1946) #897

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)
41m 48s
install (dev, macOS, macos-latest, 4.14.2)
30m 37s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https://...
1h 29m 33s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)
44m 6s
install (8.19.0, macOS, macos-latest, 4.14.2)
37m 36s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 40m 45s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)
44m 42s
install (8.18.0, macOS, macos-latest, 4.14.2)
39m 32s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, opam-repository-mingw: https...
1h 39m 13s
8h 47m 52s