Linting

chore: add `dune-project` file #845

Sign in to view logs

Triggered via pull request October 31, 2025 03:08

yosefAlsuhaibani

opened #417

yosef/add-dune-project-file

Status Success

Total duration 1m 11s

Artifacts –

lint.yaml

on: pull_request