Skip to content

Lock mypy dependencies used by CI - #22

Closed
zaniebot wants to merge 1 commit into
mainfrom
ci/lock-tool-dependencies
Closed

Lock mypy dependencies used by CI#22
zaniebot wants to merge 1 commit into
mainfrom
ci/lock-tool-dependencies

Commits

  1. Commits on Oct 21, 2026