Run `ty` in lint CI#339

Open

janosh wants to merge 6 commits intomainfrom

run-ty-in-lint-ci

Commits on Nov 10, 2025

run `ty` in lint CI
janosh
committed

Commits on Dec 19, 2025

Merge branch 'main' into run-ty-in-lint-ci
CompRhys
authored

Commits on Jan 7, 2026

Merge remote-tracking branch 'origin/main' into run-ty-in-lint-ci
CompRhys
committed

Commits on Jan 10, 2026

Merge branch 'main' into run-ty-in-lint-ci
CompRhys
committed

Commits on Jan 11, 2026

Merge branch 'main' into run-ty-in-lint-ci
orionarcher
authored

Commits on Feb 17, 2026

Merge remote-tracking branch 'origin/main' into run-ty-in-lint-ci
CompRhys
committed