Repository navigation
Migrate from pyright to ty - #24
Merged
lukasbindreiter merged 4 commits intoJan 13, 2026
Merged
lukasbindreiter merged 4 commits into
lukasbindreiter merged 4 commits into
GitHub Advanced Security / CodeQL
succeeded
Jan 13, 2026 in 1s
No new alerts in code changed by this pull request
Loading