Skip to content

Update dune file after recent dune update #327

Update dune file after recent dune update

Update dune file after recent dune update #327

Annotations

1 warning

main (ubuntu-latest, 5.0.0)

succeeded Dec 3, 2024 in 6m 29s