Skip to content

Renaming#20

Merged
OliverHennhoefer merged 2 commits into
mainfrom
renaming
Mar 6, 2026
Merged

Renaming#20
OliverHennhoefer merged 2 commits into
mainfrom
renaming

Conversation

@OliverHennhoefer

Copy link
Copy Markdown
Owner

Summary

Describe what changed and why.

Checklist

  • Tests added/updated for behavior changes
  • ruff passes locally
  • mypy passes for touched modules
  • Docs updated for user-facing changes
  • CHANGELOG.md updated under Unreleased

Risk

Describe rollout risk and potential regressions.

@OliverHennhoefer OliverHennhoefer merged commit a352d6d into main Mar 6, 2026
16 checks passed
@OliverHennhoefer OliverHennhoefer deleted the renaming branch March 6, 2026 15:57
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.

1 participant