Skip to content

Conversation

@fpgmaas
Copy link
Owner

@fpgmaas fpgmaas commented Nov 7, 2025

PR Checklist

  • A description of the changes is added to the description of this PR.
  • If there is a related issue, make sure it is linked to this PR.
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated

Description of changes

@fpgmaas fpgmaas merged commit 36417b3 into main Nov 7, 2025
7 checks passed
@fpgmaas fpgmaas deleted the chore/bump-ruff-and-uv2 branch November 7, 2025 15:10
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