Skip to content
unlocked

unlocked #1503

Sign in to view logs

unlocked

unlocked #1503

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (docker)
0s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
21m 31s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
58m 22s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
28m 52s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
1h 1m 41s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
14m 52s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
16m 53s
regression (ubuntu-latest, 4.14.x)
13m 11s
regression (ubuntu-latest, 4.14.x, apron)
24m 39s
regression (ubuntu-latest, 4.13.x)
13m 26s
regression (ubuntu-latest, 4.13.x, apron)
20m 49s
regression (ubuntu-latest, 4.12.x)
14m 12s
regression (ubuntu-latest, 4.12.x, apron)
21m 4s
regression (ubuntu-latest, 4.10.x)
14m 38s
regression (ubuntu-latest, 4.10.x, apron)
17m 57s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
48m 49s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
48m 25s
regression (macos-latest, 4.14.x)
40m 29s
regression (macos-latest, 4.14.x, apron)
44m 4s
regression (macos-latest, 4.13.x)
42m 15s
regression (macos-latest, 4.13.x, apron)
51m 39s
regression (macos-latest, 4.12.x)
47m 4s
regression (macos-latest, 4.12.x, apron)
53m 11s
regression (macos-latest, 4.10.x)
42m 44s
regression (macos-latest, 4.10.x, apron)
47m 37s
regression (ubuntu-latest, 4.14.x, z3)
32m 26s
regression (ubuntu-latest, 5.0.0)
13m 5s
14h 13m 55s