Skip to content

changelog update

changelog update #42

Triggered via push December 4, 2023 05:53
Status Failure
Total duration 17m 40s
Artifacts

ci.yml

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

Annotations

3 errors and 1 notice
build-dune (ubuntu-latest, 4.02.3, false)
Process completed with exit code 1.
build-dune (ubuntu-latest, 4.03.x, true)
Process completed with exit code 31.
build-dune (ubuntu-latest, 4.04.x, true)
Process completed with exit code 1.
build-dune (macos-latest, 5.0.0, true)
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