Skip to content

Add a typecheck target and clear its findings - #12

Merged
derek-miller merged 3 commits into
mainfrom
typecheck-annotations
Aug 8, 2026
Merged

Add a typecheck target and clear its findings#12
derek-miller merged 3 commits into
mainfrom
typecheck-annotations

build: exclude the CI toolchain dirs from typecheck

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

Annotations

3 warnings and 2 notices
Check
succeeded Aug 8, 2026 in 32s