Skip to content
build

Improved global deadcode elimination #2942

Sign in to view logs

Improved global deadcode elimination

Improved global deadcode elimination #2942

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-opam
5m 20s
lint-runtime
8s
build (ubuntu-latest, 4.08, true, true, true)
3m 28s
build (ubuntu-latest, 4.09, true, true, true)
3m 54s
lint-fmt
2m 41s
build (ubuntu-latest, 4.10, true, true, true)
3m 23s
build (ubuntu-latest, 4.11, true, true, true)
3m 16s
build (ubuntu-latest, 4.12, true, true, true)
3m 48s
build (ubuntu-latest, 4.13, true, true, true)
3m 4s
build (ubuntu-latest, 5.0, true, true, true)
3m 37s
build (ubuntu-latest, 5.1, true, true, true)
3m 50s
build (ubuntu-latest, 4.14, true, false, true)
7m 17s
build (macos-latest, 4.14, true, false, true)
12m 9s
build (windows-latest, 4.14, true, false, true)
16m 15s
build (ubuntu-latest, 5.2, false, false, false)
7m 59s
build (macos-latest, 5.2, true, false, true)
10m 16s
build (windows-latest, 5.2, false, false, true)
19m 14s
1h 49m 39s