Skip to content
unlocked

unlocked #1497

Sign in to view logs

unlocked

unlocked #1497

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (docker)
0s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
24m 53s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
58m 14s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
24m 35s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
59m 5s
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)
19m 13s
regression (ubuntu-latest, 4.14.x)
12m 59s
regression (ubuntu-latest, 4.14.x, apron)
19m 22s
regression (ubuntu-latest, 4.13.x)
17m 10s
regression (ubuntu-latest, 4.13.x, apron)
16m 17s
regression (ubuntu-latest, 4.12.x)
14m 6s
regression (ubuntu-latest, 4.12.x, apron)
19m 42s
regression (ubuntu-latest, 4.10.x)
17m 29s
regression (ubuntu-latest, 4.10.x, apron)
22m 47s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
39m 50s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
43m 37s
regression (macos-latest, 4.14.x)
40m 14s
regression (macos-latest, 4.14.x, apron)
46m 10s
regression (macos-latest, 4.13.x)
42m 51s
regression (macos-latest, 4.13.x, apron)
49m 34s
regression (macos-latest, 4.12.x)
39m 3s
regression (macos-latest, 4.12.x, apron)
46m 10s
regression (macos-latest, 4.10.x)
42m 1s
regression (macos-latest, 4.10.x, apron)
45m 45s
regression (ubuntu-latest, 4.14.x, z3)
30m 13s
regression (ubuntu-latest, 5.0.0)
14m 34s
13h 41m 14s