Skip to content
Back to pull request #1696

Reduce number of global names #3049

Sign in to view logs

Reduce number of global names

Reduce number of global names #3049

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-fmt
2m 44s
build (ubuntu-latest, 4.08, true, true, true)
3m 55s
lint-opam
3m 58s
build (ubuntu-latest, 4.09, true, true, true)
3m 29s
build (ubuntu-latest, 4.10, true, true, true)
3m 8s
build (ubuntu-latest, 4.11, true, true, true)
3m 18s
lint-runtime
5s
build (ubuntu-latest, 4.12, true, true, true)
3m 16s
build (ubuntu-latest, 4.13, true, true, true)
3m 15s
build (ubuntu-latest, 5.0, true, true, true)
3m 17s
build (ubuntu-latest, 5.1, true, true, true)
3m 8s
build (ubuntu-latest, 4.14, true, false, true)
7m 30s
build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-32bit, true, false, true)
8m 30s
build (macos-latest, 4.14, true, false, true)
10m 9s
build (windows-latest, 4.14, true, false, true)
16m 42s
build (ubuntu-latest, 5.2, false, false, false)
11m 39s
build (macos-latest, 5.2, true, false, true)
10m 11s
build (windows-latest, 5.2, false, false, true)
23m 57s
2h 2m 11s