Skip to content

Conversation

@JaroslavTulach
Copy link
Member

@JaroslavTulach JaroslavTulach commented Nov 3, 2025

Pull Request Description

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • All code follows the Java styleguides
  • Unit tests have been written where possible.

@JaroslavTulach JaroslavTulach self-assigned this Nov 3, 2025
@JaroslavTulach JaroslavTulach added the CI: Ready to merge This PR is eligible for automatic merge label Nov 3, 2025
@JaroslavTulach JaroslavTulach added the CI: No changelog needed Do not require a changelog entry for this PR. label Nov 3, 2025
@mergify mergify bot merged commit 7585ef4 into develop Nov 4, 2025
102 of 104 checks passed
@mergify mergify bot deleted the wip/jtulach/Test13939 branch November 4, 2025 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants