`dune` file cleanups #7705

Sign in to view logs

Triggered via pull request October 9, 2024 15:06

Leonidas-from-XIV

synchronize #2761

Leonidas-from-XIV:dune-file-cleanups

Status Success

Total duration 8m 51s

Artifacts –

ci.yml

on: pull_request

Matrix: Build and test

Annotations

1 warning

Build and test (macos-latest, 5.2)

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