Skip to content
Linting

chore: add dune-project file #849

Sign in to view logs

chore: add dune-project file

chore: add dune-project file #849

Triggered via pull request November 5, 2025 16:01
@yosefAlsuhaibaniyosefAlsuhaibani
synchronize #417
yosef/add-dune-project-file
Status Success
Total duration 1m 23s
Artifacts –

lint.yaml

on: pull_request
compatibility
1m 19s
compatibility
mypy
12s
mypy
Fit to window
Zoom out
Zoom in