Skip to content
unlocked

unlocked #1468

Sign in to view logs

unlocked

unlocked #1468

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
24m 10s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
57m 28s
lower-bounds (docker)
0s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
21m 32s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
1h 1m 51s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
13m 43s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
17m 31s
regression (ubuntu-latest, 4.14.x)
13m 6s
regression (ubuntu-latest, 4.14.x, apron)
16m 3s
regression (ubuntu-latest, 4.13.x)
13m 33s
regression (ubuntu-latest, 4.13.x, apron)
16m 32s
regression (ubuntu-latest, 4.12.x)
13m 38s
regression (ubuntu-latest, 4.12.x, apron)
20m 50s
regression (ubuntu-latest, 4.10.x)
18m 51s
regression (ubuntu-latest, 4.10.x, apron)
17m 8s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
37m 1s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
44m 38s
regression (macos-latest, 4.14.x)
37m 39s
regression (macos-latest, 4.14.x, apron)
41m 39s
regression (macos-latest, 4.13.x)
41m 26s
regression (macos-latest, 4.13.x, apron)
45m 14s
regression (macos-latest, 4.12.x)
39m 33s
regression (macos-latest, 4.12.x, apron)
47m 34s
regression (macos-latest, 4.10.x)
41m 35s
regression (macos-latest, 4.10.x, apron)
48m 8s
regression (ubuntu-latest, 4.14.x, z3)
31m 29s
regression (ubuntu-latest, 5.0.0)
15m 2s
13h 16m 54s