Skip to content
unlocked

unlocked #100

Sign in to view logs

unlocked

unlocked #100

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)
25m 18s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
26m 9s
lower-bounds (docker)
0s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
56m 19s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
56m 4s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
17m 26s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
19m 16s
regression (ubuntu-latest, 4.14.x)
14m 40s
regression (ubuntu-latest, 4.14.x, apron)
16m 14s
regression (ubuntu-latest, 4.13.x)
15m 27s
regression (ubuntu-latest, 4.13.x, apron)
17m 14s
regression (ubuntu-latest, 4.12.x)
17m 42s
regression (ubuntu-latest, 4.12.x, apron)
19m 13s
regression (ubuntu-latest, 4.10.x)
15m 26s
regression (ubuntu-latest, 4.10.x, apron)
20m 17s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
41m 33s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
45m 34s
regression (macos-latest, 4.14.x)
34m 42s
regression (macos-latest, 4.14.x, apron)
42m 1s
regression (macos-latest, 4.13.x)
43m 6s
regression (macos-latest, 4.13.x, apron)
45m 8s
regression (macos-latest, 4.12.x)
42m 18s
regression (macos-latest, 4.12.x, apron)
43m 49s
regression (macos-latest, 4.10.x)
39m 38s
regression (macos-latest, 4.10.x, apron)
45m 44s
regression (ubuntu-latest, 4.14.x, z3)
37m 55s
regression (ubuntu-latest, 5.0.0)
15m 37s
13h 33m 50s