Skip to content

fix(ci): add dedicated lint workflow and fix mypy errors#124

Merged
aboucaud merged 3 commits into
mainfrom
fix/linting
May 13, 2026
Merged

fix(ci): add dedicated lint workflow and fix mypy errors#124
aboucaud merged 3 commits into
mainfrom
fix/linting

Commits

Commits on May 8, 2026

Commits on May 13, 2026