Skip to content

Fix ci#195

Merged
Erotemic merged 6 commits into
mainfrom
fix-ci
Mar 25, 2026
Merged

Fix ci#195
Erotemic merged 6 commits into
mainfrom
fix-ci

Switch to more generic type ignores to keep ty happy for now

0dcce0d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar