Skip to content

Update to Dune 3

Update to Dune 3 #949

Triggered via push December 17, 2024 06:53
Status Failure
Total duration 8m 53s
Artifacts

workflow.yml

on: push
Matrix: build-and-test
Fit to window
Zoom out
Zoom in

Annotations

21 errors and 22 warnings
build-and-test (ubuntu-latest, 4.13, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.12, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.11, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.08, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.1, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.08, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.10, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.14, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.12, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.0, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.11, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.09, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.10, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.14, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.2, false)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.2, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.0, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.13, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.09, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 5.1, true)
Process completed with exit code 1.
build-and-test (ubuntu-latest, 4.13, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.12, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.11, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.08, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.1, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.08, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.10, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.14, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.12, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.0, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.11, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.09, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.10, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.14, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.2, false)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.2, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.0, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.13, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 4.09, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
build-and-test (ubuntu-latest, 5.1, true)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint-opam
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636