Skip to content
unlocked

unlocked #1462

Sign in to view logs

unlocked

unlocked #1462

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