Skip to content

chore(dune-project): restore symlink to .build/dune-project (#307) #368

chore(dune-project): restore symlink to .build/dune-project (#307)

chore(dune-project): restore symlink to .build/dune-project (#307) #368

Triggered via push May 20, 2026 08:34
Status Success
Total duration 1m 55s
Artifacts
enforce-lowercase-stdlib
4s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in