Skip to content

Run mypy checks in GitHub Actions#805

Merged
paul-nechifor merged 3 commits intodevfrom
mypy-py310
Dec 8, 2025
Merged

Run mypy checks in GitHub Actions#805
paul-nechifor merged 3 commits intodevfrom
mypy-py310

Commits

Commits on Dec 5, 2025

Commits on Dec 6, 2025