Skip to content

Add mypy check - #195

Merged
jan-janssen merged 3 commits into
mainfrom
mypy
Jul 27, 2026
Merged

jan-janssen merged 3 commits into
mainfrom
mypy

Commits

  1. Commits on Jul 26, 2026