Skip to content
unlocked

unlocked #76

Sign in to view logs

unlocked

unlocked #76

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)
20m 41s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
55m 9s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
24m 57s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
57m 33s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
14m 43s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
20m 3s
regression (ubuntu-latest, 4.14.x)
13m 10s
regression (ubuntu-latest, 4.14.x, apron)
16m 12s
regression (ubuntu-latest, 4.13.x)
15m 18s
regression (ubuntu-latest, 4.13.x, apron)
21m 18s
regression (ubuntu-latest, 4.12.x)
14m 40s
regression (ubuntu-latest, 4.12.x, apron)
16m 23s
regression (ubuntu-latest, 4.10.x)
18m 36s
regression (ubuntu-latest, 4.10.x, apron)
16m 33s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
40m 24s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
50m 57s
regression (macos-latest, 4.14.x)
37m 58s
regression (macos-latest, 4.14.x, apron)
42m 18s
regression (macos-latest, 4.13.x)
43m 21s
regression (macos-latest, 4.13.x, apron)
45m 1s
regression (macos-latest, 4.12.x)
45m 24s
regression (macos-latest, 4.12.x, apron)
48m 55s
regression (macos-latest, 4.10.x)
46m 35s
regression (macos-latest, 4.10.x, apron)
50m 28s
regression (ubuntu-latest, 4.14.x, z3)
34m 46s
regression (ubuntu-latest, 5.0.0)
15m 35s
13h 46m 58s