Skip to content
unlocked

unlocked #1929

Sign in to view logs

unlocked

unlocked #1929

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (docker)
0s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)
6m 44s
opam-install (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
16m 52s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)
13m 27s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
56m 6s
regression (ubuntu-latest, 5.2.x)
10m 12s
regression (ubuntu-latest, 5.2.x, apron)
12m 31s
regression (ubuntu-latest, 5.1.x)
10m 7s
regression (ubuntu-latest, 5.1.x, apron)
13m 3s
regression (ubuntu-latest, 5.0.x)
9m 57s
regression (ubuntu-latest, 5.0.x, apron)
13m 19s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
10m 19s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
13m 7s
regression (ubuntu-latest, 4.14.x)
9m 46s
regression (ubuntu-latest, 4.14.x, apron)
12m 33s
regression (macos-13, 5.2.x)
34m 47s
regression (macos-13, 5.2.x, apron)
40m 57s
regression (macos-13, 5.1.x)
37m 24s
regression (macos-13, 5.1.x, apron)
42m 19s
regression (macos-13, 5.0.x)
36m 49s
regression (macos-13, 5.0.x, apron)
41m 17s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
38m 24s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
40m 3s
regression (macos-13, 4.14.x)
32m 49s
regression (macos-13, 4.14.x, apron)
1h 6m 15s
regression (ubuntu-latest, 4.14.x, z3)
22m 58s
regression (macos-latest, 4.14.x)
16m 19s
10h 58m 24s