Skip to content

DX: switch to ty as type checker - #309

Merged
redeboer merged 17 commits into
mainfrom
pre-commit-ci-update-config
Feb 19, 2026
Merged

DX: switch to ty as type checker#309
redeboer merged 17 commits into
mainfrom
pre-commit-ci-update-config

Conversation

updates:
- [github.com/ComPWA/policy: 0.7.3 → 0.7.5](ComPWA/policy@0.7.3...0.7.5)
- [github.com/kynan/nbstripout: 0.8.1 → 0.8.2](kynan/nbstripout@0.8.1...0.8.2)
- [github.com/astral-sh/ruff-pre-commit: v0.14.0 → v0.14.10](astral-sh/ruff-pre-commit@v0.14.0...v0.14.10)
- [github.com/python-jsonschema/check-jsonschema: 0.34.1 → 0.36.0](python-jsonschema/check-jsonschema@0.34.1...0.36.0)
- [github.com/streetsidesoftware/cspell-cli: v9.2.0 → v9.4.0](streetsidesoftware/cspell-cli@v9.2.0...v9.4.0)
- [github.com/editorconfig-checker/editorconfig-checker.python: 3.4.0 → 3.6.0](editorconfig-checker/editorconfig-checker.python@3.4.0...3.6.0)
- [github.com/ComPWA/pyright-pre-commit: v1.1.406 → v1.1.407](ComPWA/pyright-pre-commit@v1.1.406...v1.1.407)
- [github.com/astral-sh/uv-pre-commit: 0.9.2 → 0.9.21](astral-sh/uv-pre-commit@0.9.2...0.9.21)
@redeboer redeboer self-assigned this Jan 8, 2026
@redeboer redeboer added the ⬆️ Lock This PR upgrades the lock files label Jan 8, 2026
@redeboer
redeboer marked this pull request as draft January 8, 2026 10:09
@redeboer
redeboer self-requested a review January 8, 2026 10:10
@redeboer redeboer changed the title MAINT: upgrade lock files DX: switch to ty as type checker Jan 16, 2026
@redeboer redeboer added the 🖱️ DX Improvements to the Developer Experience label Jan 16, 2026
@redeboer
redeboer force-pushed the pre-commit-ci-update-config branch from 221246f to abc1938 Compare February 4, 2026 14:22
@redeboer
redeboer marked this pull request as ready for review February 19, 2026 11:25
@redeboer
redeboer enabled auto-merge (squash) February 19, 2026 11:30
@redeboer
redeboer merged commit 0964b89 into main Feb 19, 2026
23 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🖱️ DX Improvements to the Developer Experience ⬆️ Lock This PR upgrades the lock files

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Issue on page /develop.html Looks like some emojis are failed to load?

2 participants