Skip to content
unlocked

unlocked #1870

Sign in to view logs

unlocked

unlocked #1870

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)
14m 16s
opam-install (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
19m 37s
lower-bounds (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, downgrade)
1h 1m 38s
opam-install (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
48m 12s
regression (ubuntu-latest, 5.2.x)
9m 58s
regression (ubuntu-latest, 5.2.x, apron)
13m 0s
regression (ubuntu-latest, 5.1.x)
9m 40s
regression (ubuntu-latest, 5.1.x, apron)
13m 4s
regression (ubuntu-latest, 5.0.x)
13m 24s
regression (ubuntu-latest, 5.0.x, apron)
12m 24s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
11m 1s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
13m 13s
regression (ubuntu-latest, 4.14.x)
9m 54s
regression (ubuntu-latest, 4.14.x, apron)
12m 45s
regression (macos-13, 5.2.x)
32m 7s
regression (macos-13, 5.2.x, apron)
39m 10s
regression (macos-13, 5.1.x)
34m 44s
regression (macos-13, 5.1.x, apron)
38m 26s
regression (macos-13, 5.0.x)
33m 19s
regression (macos-13, 5.0.x, apron)
38m 58s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
35m 15s
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda, apron)
38m 43s
regression (macos-13, 4.14.x)
32m 16s
regression (macos-13, 4.14.x, apron)
39m 2s
regression (ubuntu-latest, 4.14.x, z3)
22m 42s
10h 46m 48s