Skip to content

Fix existing typing issues and run ty in CI - #69

Merged
FelixSchwarz merged 6 commits into
mainfrom
improve-typing
Aug 27, 2026
Merged

Fix existing typing issues and run ty in CI#69
FelixSchwarz merged 6 commits into
mainfrom
improve-typing

GitHub Actions: actions/checkout@v4 -> actions/checkout@v7

5ff2600
Select commit
Loading
Failed to load commit list.
Sign in for the full log view