Skip to content

Introduce manual mypy checking on the docs/ dir - #1412

Merged
sirosen merged 1 commit into
globus:mainfrom
sirosen:add-mypy-docs-check
Aug 5, 2026
Merged

Introduce manual mypy checking on the docs/ dir#1412
sirosen merged 1 commit into
globus:mainfrom
sirosen:add-mypy-docs-check