Skip to content
build

Merge branch 'master' into main #3353

Sign in to view logs

Merge branch 'master' into main

Merge branch 'master' into main #3353

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.08, true, true, true)
7m 45s
build (ubuntu-latest, 4.09, true, true, true)
7m 9s
build (ubuntu-latest, 4.10, true, true, true)
7m 14s
build (ubuntu-latest, 4.11, true, true, true)
7m 1s
build (ubuntu-latest, 4.12, true, true, true)
6m 48s
build (ubuntu-latest, 4.13, true, true, true)
6m 54s
build (ubuntu-latest, 5.0, true, true, true)
3m 12s
build (ubuntu-latest, 5.1, true, true, true)
3m 4s
build (ubuntu-latest, 4.14, true, false, true)
7m 49s
build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-32bit, true, false, true)
8m 11s
build (macos-latest, 4.14, true, false, true)
15m 43s
build (windows-latest, 4.14, true, false, true)
26m 55s
build (ubuntu-latest, 5.2, false, false, false)
12m 37s
build (ubuntu-latest, ocaml-variants.5.2.0+options,ocaml-option-32bit, true, true, true)
7m 40s
build (macos-latest, 5.2, true, false, true)
17m 14s
build (windows-latest, 5.2, false, false, true)
22m 32s
2h 47m 48s