Skip to content
unlocked

unlocked #79

Sign in to view logs

unlocked

unlocked #79

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)
26m 43s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
58m 20s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
24m 43s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
57m 13s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
20m 25s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
19m 14s
regression (ubuntu-latest, 4.14.x)
17m 25s
regression (ubuntu-latest, 4.14.x, apron)
16m 34s
regression (ubuntu-latest, 4.13.x)
16m 13s
regression (ubuntu-latest, 4.13.x, apron)
16m 33s
regression (ubuntu-latest, 4.12.x)
16m 7s
regression (ubuntu-latest, 4.12.x, apron)
18m 7s
regression (ubuntu-latest, 4.10.x)
16m 21s
regression (ubuntu-latest, 4.10.x, apron)
17m 1s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
41m 12s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
46m 6s
regression (macos-latest, 4.14.x)
42m 48s
regression (macos-latest, 4.14.x, apron)
44m 39s
regression (macos-latest, 4.13.x)
44m 10s
regression (macos-latest, 4.13.x, apron)
45m 55s
regression (macos-latest, 4.12.x)
39m 54s
regression (macos-latest, 4.12.x, apron)
45m 30s
regression (macos-latest, 4.10.x)
42m 41s
regression (macos-latest, 4.10.x, apron)
49m 9s
regression (ubuntu-latest, 4.14.x, z3)
29m 42s
regression (ubuntu-latest, 5.0.0)
18m 27s
13h 51m 12s