`dune` file cleanups #7703

Sign in to view logs

Triggered via pull request October 9, 2024 14:51

Leonidas-from-XIV

opened #2761

Leonidas-from-XIV:dune-file-cleanups

Status Failure

Total duration 12m 6s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and test

Annotations

1 error and 1 warning

Build and test (ubuntu-latest, 5.2)

Process completed with exit code 1.

Build and test (macos-latest, 5.2)

These files were overwritten during the `brew link` step: