Skip to content

Refresh CI/pre-commit pins; pin ty to 0.0.23#84

Open
hmgaudecker wants to merge 2 commits into
mainfrom
chore/refresh-ci-pre-commit
Open

Refresh CI/pre-commit pins; pin ty to 0.0.23#84
hmgaudecker wants to merge 2 commits into
mainfrom
chore/refresh-ci-pre-commit

Commits

Commits on May 23, 2026