Skip to content
build

dune: update menhir extension to 3.0 #3432

Sign in to view logs

dune: update menhir extension to 3.0

dune: update menhir extension to 3.0 #3432

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, 4.08, true, true, true)
3m 30s
build (ubuntu-latest, 4.09, true, true, true)
3m 44s
build (ubuntu-latest, 4.10, true, true, true)
3m 54s
build (ubuntu-latest, 4.11, true, true, true)
3m 39s
build (ubuntu-latest, 4.12, true, true, true)
3m 35s
build (ubuntu-latest, 4.13, true, true, true)
3m 29s
build (ubuntu-latest, 5.0, true, true, true)
3m 46s
build (ubuntu-latest, 5.1, true, true, true)
3m 27s
build (ubuntu-latest, 4.14, true, false, true)
7m 34s
build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-32bit, true, false, true)
8m 5s
build (macos-latest, 4.14, true, false, true)
8m 41s
build (windows-latest, 4.14, true, false, true)
15m 44s
build (ubuntu-latest, 5.2, false, false, false)
10m 47s
build (ubuntu-latest, ocaml-variants.5.2.0+options,ocaml-option-32bit, true, true, true)
7m 38s
build (macos-latest, 5.2, true, false, true)
9m 10s
build (windows-latest, 5.2, false, false, true)
20m 45s
1h 57m 28s