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

Conversation

@MySweetEden

Copy link
Copy Markdown
Contributor

Summary

  • Replace the remaining Union[Expr, GenExpr] annotations in scip.pyi with Expr | GenExpr
  • Remove the now-unused Union import

Why

The type-stub lint workflow installs the latest Ruff release. Since Ruff 0.16, the existing annotations are reported as UP007 violations, causing the lint check to fail on unrelated pull requests.

This is a typing-only syntax update and does not change runtime behavior.

@Joao-Dionisio Joao-Dionisio left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@Joao-Dionisio
Joao-Dionisio enabled auto-merge (squash) August 9, 2026 17:08
@Joao-Dionisio
Joao-Dionisio merged commit b5acea9 into scipopt:master Aug 9, 2026
3 checks passed
@MySweetEden
MySweetEden deleted the agent/fix-stub-lint-for-ruff-0-16 branch August 10, 2026 00:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants