Skip to content
Test opam package

bump bedrock2, use "always" in GarageDoor spec (#1846) #832

Sign in to view logs

bump bedrock2, use "always" in GarageDoor spec (#1846)

bump bedrock2, use "always" in GarageDoor spec (#1846) #832

Run time

Learn about OS pricing on GitHub Actions
Job Run time
install (dev, 4.11.1, Ubuntu, ubuntu-latest)
39m 10s
install (dev, 4.11.1, macOS, macos-latest)
51m 14s
install (dev, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https://...
1h 35m 17s
install (8.19.0, 4.11.1, Ubuntu, ubuntu-latest)
37m 59s
install (8.19.0, 4.11.1, macOS, macos-latest)
45m 24s
install (8.19.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 31m 18s
install (8.18.0, 4.11.1, Ubuntu, ubuntu-latest)
40m 54s
install (8.18.0, 4.11.1, macOS, macos-latest)
46m 50s
install (8.18.0, 4.11.1, Windows, windows-latest, -async-proofs-j 1, opam-repository-mingw: https...
1h 38m 39s
9h 6m 45s