Skip to content

Conversation

lorentzenchr
Copy link
Member

Reference Issues/PRs

Partially solves solves #229.
Continuation of #31882

What does this implement/fix? Explain your changes.

After #31882, #31986 and #31987, this PR completes the gap safe rules, i.e. #229 can then be closed.

Any other comments?

For reviewers: #31956 should be merged first!

Copy link

github-actions bot commented Aug 25, 2025

✔️ Linting Passed

All linting checks passed. Your pull request is in excellent shape! ☀️

Generated for commit: 7d9e23a. Link to the linter CI: here

@lorentzenchr lorentzenchr added this to the 1.8 milestone Aug 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant