Skip to content

chore(ruff): Adapt to ruff@0.6.0 - #195

Merged
Jegp merged 4 commits into
mainfrom
ruff
Aug 27, 2026
Merged

Jegp merged 4 commits into
mainfrom
ruff

Conversation

@benkroehs

@benkroehs benkroehs commented Aug 14, 2026 •

Copy link
Copy Markdown
Collaborator

This change adapts to the new ruff version. I also fixed some documentation stuff for the supported primitives.

Edit: I just saw that /paper and /docs are typically not touched by ruff. I can revert my changes if you wish.

@Jegp Jegp left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Thanks for this @benkroehs :)

@Jegp
Jegp merged commit f5372ae into main Aug 27, 2026
6 checks passed
@Jegp
Jegp deleted the ruff branch August 27, 2026 14:08
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