Skip to content
Linting

chore: add dune-project file #846

Sign in to view logs

chore: add dune-project file

chore: add dune-project file #846

Triggered via pull request October 31, 2025 03:11
@yosefAlsuhaibaniyosefAlsuhaibani
synchronize #417
yosef/add-dune-project-file
Status Success
Total duration 1m 13s
Artifacts –

lint.yaml

on: pull_request
compatibility
1m 10s
compatibility
mypy
9s
mypy
Fit to window
Zoom out
Zoom in