Skip to content
unlocked

unlocked #1520

Sign in to view logs

unlocked

unlocked #1520

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lower-bounds (docker)
0s
lower-bounds (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
31m 29s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
59m 34s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
20m 5s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
56m 57s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
14m 55s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
17m 40s
regression (ubuntu-latest, 4.14.x)
16m 23s
regression (ubuntu-latest, 4.14.x, apron)
20m 55s
regression (ubuntu-latest, 4.13.x)
16m 19s
regression (ubuntu-latest, 4.13.x, apron)
20m 36s
regression (ubuntu-latest, 4.12.x)
14m 7s
regression (ubuntu-latest, 4.12.x, apron)
20m 45s
regression (ubuntu-latest, 4.10.x)
17m 9s
regression (ubuntu-latest, 4.10.x, apron)
20m 8s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
44m 21s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
52m 19s
regression (macos-latest, 4.14.x)
41m 56s
regression (macos-latest, 4.14.x, apron)
51m 26s
regression (macos-latest, 4.13.x)
46m 54s
regression (macos-latest, 4.13.x, apron)
42m 42s
regression (macos-latest, 4.12.x)
44m 33s
regression (macos-latest, 4.12.x, apron)
45m 1s
regression (macos-latest, 4.10.x)
46m 35s
regression (macos-latest, 4.10.x, apron)
49m 0s
regression (ubuntu-latest, 4.14.x, z3)
30m 8s
regression (ubuntu-latest, 5.0.0)
16m 48s
14h 18m 45s