Skip to content

Fix compilation with dune 3.12 #704

Fix compilation with dune 3.12

Fix compilation with dune 3.12 #704

Triggered via push December 4, 2023 22:42
Status Success
Total duration 2h 35m 39s
Artifacts

workflow.yml

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

Annotations

1 notice
build (macos-latest, 4.14.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