Skip to content

Fix type stub lint for Ruff 0.16 - #1241

Merged
Joao-Dionisio merged 2 commits into
scipopt:masterfrom
MySweetEden:agent/fix-stub-lint-for-ruff-0-16
Aug 9, 2026
Merged

Fix type stub lint for Ruff 0.16#1241
Joao-Dionisio merged 2 commits into
scipopt:masterfrom
MySweetEden:agent/fix-stub-lint-for-ruff-0-16

Commits

Commits on Aug 7, 2026

Commits on Aug 9, 2026