Skip to content
build

Misc: remove unused files #3407

Sign in to view logs

Misc: remove unused files

Misc: remove unused files #3407

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.08, true, true, true)
3m 37s
build (ubuntu-latest, 4.09, true, true, true)
3m 23s
build (ubuntu-latest, 4.10, true, true, true)
3m 29s
build (ubuntu-latest, 4.11, true, true, true)
3m 32s
build (ubuntu-latest, 4.12, true, true, true)
3m 35s
build (ubuntu-latest, 4.13, true, true, true)
3m 19s
build (ubuntu-latest, 5.0, true, true, true)
3m 23s
build (ubuntu-latest, 5.1, true, true, true)
3m 20s
build (ubuntu-latest, 4.14, true, false, true)
7m 33s
build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-32bit, true, false, true)
7m 58s
build (macos-latest, 4.14, true, false, true)
9m 5s
build (windows-latest, 4.14, true, false, true)
15m 14s
build (ubuntu-latest, 5.2, false, false, false)
13m 55s
build (ubuntu-latest, ocaml-variants.5.2.0+options,ocaml-option-32bit, true, true, true)
7m 53s
build (macos-latest, 5.2, true, false, true)
10m 9s
build (windows-latest, 5.2, false, false, true)
22m 37s
2h 2m 2s