Skip to content

Fix ruff PYI041 and ignore PYI024#3232

Merged
janosh merged 7 commits intomasterfrom
fix-ruff
Aug 9, 2023
Merged

Fix `ruff` PYI041 and ignore PYI024#3232
janosh merged 7 commits intomasterfrom
fix-ruff

Commits

Commits on Aug 9, 2023