Skip to content
Test opam package

GarageDoorTop: assert some types #836

Sign in to view logs

GarageDoorTop: assert some types

GarageDoorTop: assert some types #836

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
38m 45s
install (dev, 4.11.1, macOS, macos-latest)
47m 38s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 35m 23s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
39m 26s
install (8.19.0, 4.11.1, macOS, macos-latest)
48m 53s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 33m 20s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
40m 26s
install (8.18.0, 4.11.1, macOS, macos-latest)
53m 40s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 38m 3s
9h 15m 34s