Skip to content

Dune improvements

Dune improvements #691

Triggered via pull request December 4, 2023 19:54
@vouillonvouillon
synchronize #773
dune-update
Status Failure
Total duration 1h 15m 25s
Artifacts

workflow.yml

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

Annotations

14 errors and 1 notice
build (ubuntu-latest, 4.14.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.13.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.11.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.09.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.10.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.08.x)
Process completed with exit code 2.
build (ubuntu-latest, 4.12.x)
Process completed with exit code 2.
build (macos-latest, 4.08.x)
Process completed with exit code 2.
build (macos-latest, 4.12.x)
Process completed with exit code 2.
build (macos-latest, 4.09.x)
Process completed with exit code 2.
build (macos-latest, 4.13.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.14.x)
Process completed with exit code 2.
build (macos-latest, 4.10.x)
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/local/bin/brew' failed with exit code 1