Skip to content

fix: repair the mypy CI step - #30

Merged
rkoopmans merged 1 commit into
masterfrom
fix/mypy-ci-command
Nov 2, 2026
Merged

rkoopmans merged 1 commit into
masterfrom
fix/mypy-ci-command

Commits

  1. Commits on Oct 31, 2026