Skip to content
unlocked

unlocked #1689

Sign in to view logs

unlocked

unlocked #1689

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (docker)
0s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
4m 52s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
9m 0s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
7m 0s
regression (ubuntu-latest, 5.0.x)
9m 10s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
16m 12s
regression (ubuntu-latest, 5.0.x, apron)
7m 54s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
6m 25s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
4m 49s
regression (ubuntu-latest, 4.14.x)
6m 6s
regression (ubuntu-latest, 4.14.x, apron)
4m 46s
regression (ubuntu-latest, 4.13.x)
9m 10s
regression (ubuntu-latest, 4.13.x, apron)
7m 38s
regression (ubuntu-latest, 4.12.x)
9m 9s
regression (ubuntu-latest, 4.12.x, apron)
7m 22s
regression (ubuntu-latest, 4.10.x)
9m 25s
regression (ubuntu-latest, 4.10.x, apron)
7m 44s
regression (macos-latest, 5.0.x)
25m 51s
regression (macos-latest, 5.0.x, apron)
12m 1s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
18m 39s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
10m 14s
regression (macos-latest, 4.14.x)
16m 2s
regression (macos-latest, 4.14.x, apron)
13m 4s
regression (macos-latest, 4.13.x)
13m 54s
regression (macos-latest, 4.13.x, apron)
10m 19s
regression (macos-latest, 4.12.x)
22m 13s
regression (macos-latest, 4.12.x, apron)
10m 20s
regression (macos-latest, 4.10.x)
23m 30s
regression (macos-latest, 4.10.x, apron)
9m 5s
regression (ubuntu-latest, 4.14.x, z3)
17m 17s
5h 29m 11s