chore (ci/type-check): run type check in the CI (w/o fixing the issues yet)#89

Draft

hf-kklein wants to merge 1 commit intonerdocs:masterfrom

hf-kklein:mypy-ci

Commits on May 4, 2025

chore (ci/type-check): run type check in the CI (w/o fixing the issues yet)
Konstantin
committed