Skip to content

Update Ruff + mypy and fix some decorated types in sympy#390

Merged
bschnurr merged 3 commits into
microsoft:mainfrom
Avasam:Update-Ruff-to-0.13
Jun 4, 2026
Merged

Update Ruff + mypy and fix some decorated types in sympy#390
bschnurr merged 3 commits into
microsoft:mainfrom
Avasam:Update-Ruff-to-0.13

Conversation

@Avasam
Copy link
Copy Markdown
Contributor

@Avasam Avasam commented Dec 5, 2025

No description provided.

@Avasam Avasam force-pushed the Update-Ruff-to-0.13 branch from f09c4f4 to df62ea6 Compare December 5, 2025 03:55
@bschnurr bschnurr merged commit d23acef into microsoft:main Jun 4, 2026
1 check passed
@Avasam Avasam deleted the Update-Ruff-to-0.13 branch June 4, 2026 16: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