Skip to content

Conversation

DavideD
Copy link
Member

@DavideD DavideD commented Jun 17, 2025

Backport #2309 (PR #2310) for 2.4

@DavideD DavideD added this to the 2.4.9 milestone Jun 17, 2025
@DavideD DavideD added build Something related to the build ci Changes to the Jenkins pipeline or GitHub workflows 2.4 labels Jun 17, 2025
@DavideD DavideD merged commit df72562 into hibernate:2.4 Jun 17, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
2.4 build Something related to the build ci Changes to the Jenkins pipeline or GitHub workflows
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant