Skip to content

Dune improvements

Dune improvements #701

Triggered via pull request December 4, 2023 22:21
@vouillonvouillon
synchronize #773
dune-update
Status Failure
Total duration 2h 19m 51s
Artifacts

workflow.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

14 errors
build (ubuntu-latest, 4.13.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.14.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.12.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.08.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.10.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.09.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.11.x)
Process completed with exit code 2.
build (macos-latest, 4.08.x)
Process completed with exit code 40.
build (macos-latest, 4.09.x)
Process completed with exit code 2.
build (macos-latest, 4.10.x)
Process completed with exit code 2.
build (macos-latest, 4.11.x)
Process completed with exit code 2.
build (macos-latest, 4.12.x)
Process completed with exit code 2.
build (macos-latest, 4.13.x)
Process completed with exit code 2.
build (macos-latest, 4.14.x)
Process completed with exit code 2.