Skip to content

Try out ty for type checking#69

Merged
andreaso merged 1 commit into
mainfrom
try-ty
Jan 14, 2026
Merged

Try out ty for type checking#69
andreaso merged 1 commit into
mainfrom
try-ty

Try out ty for type checking

5f9b194
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Jan 14, 2026 in 2s

No new alerts in code changed by this pull request