Skip to content

Remove mypy dependency#203

Merged
AdrienVannson merged 1 commit intomainfrom
remove-mypy
May 6, 2026
Merged

Remove mypy dependency#203
AdrienVannson merged 1 commit intomainfrom
remove-mypy

Commits

Commits on May 6, 2026