Skip to content
unlocked

unlocked #1446

Sign in to view logs

unlocked

unlocked #1446

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 52s
lower-bounds (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, downgrade)
57m 56s
opam-install (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
26m 16s
opam-install (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
52m 53s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
13m 35s
regression (ubuntu-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
15m 32s
regression (ubuntu-latest, 4.14.x)
14m 13s
regression (ubuntu-latest, 4.14.x, apron)
15m 32s
regression (ubuntu-latest, 4.13.x)
13m 49s
regression (ubuntu-latest, 4.13.x, apron)
16m 48s
regression (ubuntu-latest, 4.12.x)
13m 36s
regression (ubuntu-latest, 4.12.x, apron)
16m 17s
regression (ubuntu-latest, 4.10.x)
15m 45s
regression (ubuntu-latest, 4.10.x, apron)
19m 57s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda)
46m 23s
regression (macos-latest, ocaml-variants.4.14.0+options,ocaml-option-flambda, apron)
46m 47s
regression (macos-latest, 4.14.x)
37m 28s
regression (macos-latest, 4.14.x, apron)
42m 50s
regression (macos-latest, 4.13.x)
42m 13s
regression (macos-latest, 4.13.x, apron)
46m 20s
regression (macos-latest, 4.12.x)
38m 57s
regression (macos-latest, 4.12.x, apron)
51m 41s
regression (macos-latest, 4.10.x)
43m 2s
regression (macos-latest, 4.10.x, apron)
51m 33s
regression (ubuntu-latest, 4.14.x, z3)
31m 28s
regression (ubuntu-latest, 5.0.0)
16m 10s
13h 31m 53s