Skip to content
main

Emancipate dune build from configure #8

Sign in to view logs

Emancipate dune build from configure

Emancipate dune build from configure #8

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-ubuntu (dune, 4.11.x)
1m 22s
build-ubuntu (dune, 4.13.x)
1m 20s
build-ubuntu (dune, 4.12.x)
1m 18s
build-ubuntu (dune, 5.1.x)
1m 18s
build-ubuntu (dune, 5.0.x)
1m 17s
build-ubuntu (dune, 4.14.x)
2m 6s
build-ubuntu (make, 4.11.x)
58s
build-ubuntu (dune, 5.2.x)
1m 23s
build-ubuntu (make, 4.13.x)
52s
build-ubuntu (make, 5.2.x)
1m 39s
build-ubuntu (make, 5.0.x)
51s
build-ubuntu (make, 4.12.x)
1m 45s
build-ubuntu (make, 5.1.x)
1m 1s
build-ubuntu (make, 4.14.x)
1m 28s
build-ubuntu (make-no-magic, 4.11.x)
48s
build-ubuntu (make-no-magic, 4.12.x)
45s
build-macos-and-windows (macos-latest, dune, 4.14.x)
2m 1s
build-ubuntu (make-no-magic, 4.14.x)
1m 50s
build-ubuntu (make-no-magic, 4.13.x)
53s
build-macos-and-windows (macos-latest, dune, 5.1.x)
1m 31s
build-ubuntu (make-no-magic, 5.2.x)
48s
build-ubuntu (make-no-magic, 5.1.x)
1m 39s
build-macos-and-windows (macos-latest, dune, 5.0.x)
1m 36s
build-ubuntu (make-no-magic, 5.0.x)
1m 44s
build-macos-and-windows (macos-latest, make, 5.2.x)
1m 16s
build-macos-and-windows (macos-latest, make, 4.14.x)
1m 2s
build-macos-and-windows (macos-latest, make, 5.1.x)
1m 10s
build-macos-and-windows (macos-latest, make, 5.0.x)
1m 10s
build-macos-and-windows (macos-latest, dune, 5.2.x)
1m 47s
build-macos-and-windows (macos-latest, make-no-magic, 5.2.x)
1m 0s
build-macos-and-windows (macos-latest, make-no-magic, 5.1.x)
1m 25s
build-macos-and-windows (windows-latest, dune, 4.14.x)
2m 48s
build-macos-and-windows (macos-latest, make-no-magic, 4.14.x)
1m 17s
build-macos-and-windows (macos-latest, make-no-magic, 5.0.x)
1m 13s
build-macos-and-windows (windows-latest, make-no-magic, 5.1.x)
2m 9s
build-macos-and-windows (windows-latest, dune, 5.0.x)
2m 58s
build-macos-and-windows (windows-latest, make, 4.14.x)
2m 4s
build-macos-and-windows (windows-latest, make, 5.0.x)
2m 10s
build-macos-and-windows (windows-latest, dune, 5.1.x)
2m 59s
build-macos-and-windows (windows-latest, make, 5.1.x)
2m 12s
build-macos-and-windows (windows-latest, dune, 5.2.x)
2m 58s
build-macos-and-windows (windows-latest, make-no-magic, 4.14.x)
2m 3s
build-macos-and-windows (windows-latest, make-no-magic, 5.2.x)
2m 6s
build-macos-and-windows (windows-latest, make, 5.2.x)
2m 11s
build-macos-and-windows (windows-latest, make-no-magic, 5.0.x)
2m 3s
1h 12m 14s