CI

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

Sign in to view logs

Triggered via pull request May 20, 2026 08:32

opened #307

restore-dune-project-symlink

Status Success

Total duration 3m 47s

Artifacts –

ci.yml

on: pull_request