Skip to content

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

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

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

Triggered via pull request May 20, 2026 08:32
Status Success
Total duration 12s
Artifacts

stdlib-naming.yml

on: pull_request
enforce-lowercase-stdlib
5s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in