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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Switch to testing against JDK 25 (GA instead of EA version)

2 participants