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

Merge branch 'master' into agent/fix-stub-lint-for-ruff-0-16

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

Annotations

1 warning
test-coverage (3.11)
succeeded Aug 9, 2026 in 4m 34s