Skip to content
unlocked

unlocked #1499

Sign in to view logs

unlocked

unlocked #1499

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)
24m 41s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
1h 2m 12s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
20m 44s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
55m 44s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
14m 12s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
19m 39s
regression (ubuntu-latest, 4.14.x)
16m 47s
regression (ubuntu-latest, 4.14.x, apron)
19m 49s
regression (ubuntu-latest, 4.13.x)
12m 54s
regression (ubuntu-latest, 4.13.x, apron)
16m 32s
regression (ubuntu-latest, 4.12.x)
13m 48s
regression (ubuntu-latest, 4.12.x, apron)
21m 30s
regression (ubuntu-latest, 4.10.x)
18m 39s
regression (ubuntu-latest, 4.10.x, apron)
21m 46s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
40m 53s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
49m 1s
regression (macos-latest, 4.14.x)
39m 27s
regression (macos-latest, 4.14.x, apron)
51m 11s
regression (macos-latest, 4.13.x)
44m 2s
regression (macos-latest, 4.13.x, apron)
43m 9s
regression (macos-latest, 4.12.x)
41m 53s
regression (macos-latest, 4.12.x, apron)
46m 49s
regression (macos-latest, 4.10.x)
43m 53s
regression (macos-latest, 4.10.x, apron)
47m 13s
regression (ubuntu-latest, 4.14.x, z3)
32m 24s
regression (ubuntu-latest, 5.0.0)
14m 38s
13h 53m 30s