Skip to content
unlocked

unlocked #1884

Sign in to view logs

unlocked

unlocked #1884

Run time

Learn about OS pricing on GitHub Actions
Job Run time
opam-install (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
16m 37s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)
19m 45s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
47m 50s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)
54m 59s
regression (ubuntu-latest, 5.2.x)
7m 37s
lower-bounds (docker)
0s
regression (ubuntu-latest, 5.2.x, apron)
13m 14s
regression (ubuntu-latest, 5.1.x)
9m 40s
regression (ubuntu-latest, 5.1.x, apron)
12m 41s
regression (ubuntu-latest, 5.0.x)
9m 46s
regression (ubuntu-latest, 5.0.x, apron)
12m 25s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
10m 21s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
13m 14s
regression (ubuntu-latest, 4.14.x)
10m 6s
regression (ubuntu-latest, 4.14.x, apron)
12m 55s
regression (macos-13, 5.2.x)
33m 1s
regression (macos-13, 5.2.x, apron)
38m 50s
regression (macos-13, 5.1.x)
33m 21s
regression (macos-13, 5.1.x, apron)
38m 3s
regression (macos-13, 5.0.x)
37m 17s
regression (macos-13, 5.0.x, apron)
38m 46s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
33m 19s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
37m 41s
regression (macos-13, 4.14.x)
33m 17s
regression (macos-13, 4.14.x, apron)
41m 20s
regression (ubuntu-latest, 4.14.x, z3)
22m 55s
regression (macos-latest, 4.14.x)
17m 13s
10h 56m 13s