Skip to content

Conversation

DavideD
Copy link
Member

@DavideD DavideD commented Oct 2, 2025

Backport #2516 (PR #2517) to 4.0

@DavideD DavideD added this to the 4.0.1.Final milestone Oct 2, 2025
@DavideD DavideD added testing Improvements to test suite build Something related to the build ci Changes to the Jenkins pipeline or GitHub workflows labels Oct 2, 2025
@hibernate-github-bot hibernate-github-bot bot changed the title Use JDK 25 GA, and JDK 24 Temurin [4.0] Use JDK 25 GA, and JDK 24 Temurin Oct 2, 2025
@DavideD DavideD linked an issue Oct 2, 2025 that may be closed by this pull request
@DavideD DavideD merged commit 24bd78d into hibernate:4.0 Oct 2, 2025
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

4.0 build Something related to the build ci Changes to the Jenkins pipeline or GitHub workflows testing Improvements to test suite

2 participants