Skip to content
unlocked

unlocked #1444

Sign in to view logs

unlocked

unlocked #1444

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)
26m 50s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
55m 53s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
19m 28s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
59m 13s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
15m 20s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
16m 24s
regression (ubuntu-latest, 4.14.x)
12m 26s
regression (ubuntu-latest, 4.14.x, apron)
19m 55s
regression (ubuntu-latest, 4.13.x)
13m 2s
regression (ubuntu-latest, 4.13.x, apron)
17m 22s
regression (ubuntu-latest, 4.12.x)
13m 25s
regression (ubuntu-latest, 4.12.x, apron)
20m 0s
regression (ubuntu-latest, 4.10.x)
12m 45s
regression (ubuntu-latest, 4.10.x, apron)
15m 53s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
41m 9s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
42m 2s
regression (macos-latest, 4.14.x)
35m 55s
regression (macos-latest, 4.14.x, apron)
41m 44s
regression (macos-latest, 4.13.x)
37m 56s
regression (macos-latest, 4.13.x, apron)
47m 1s
regression (macos-latest, 4.12.x)
39m 46s
regression (macos-latest, 4.12.x, apron)
46m 18s
regression (macos-latest, 4.10.x)
38m 5s
regression (macos-latest, 4.10.x, apron)
49m 14s
regression (ubuntu-latest, 4.14.x, z3)
31m 40s
regression (ubuntu-latest, 5.0.0)
11m 47s
13h 0m 33s