Skip to content

Conversation

@verbotenj
Copy link
Contributor

What changed?

What problem were you trying to solve and how did you solve it?

If you didn't upload tests and/or coverage decreased for this PR, please explain why here.

@verbotenj verbotenj merged commit 8d1c7d2 into master Dec 1, 2025
6 checks passed
@verbotenj verbotenj deleted the fix/ci-publish-ownership branch December 1, 2025 16:38
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.

3 participants