chore: update Java version in CI configurations to JDK 25 - #2554
Closed
robfrank wants to merge 2 commits into
Closed
chore: update Java version in CI configurations to JDK 25#2554robfrank wants to merge 2 commits into
robfrank wants to merge 2 commits into
GitHub Advanced Security / CodeQL
succeeded
Oct 10, 2025 in 2s
No new alerts in code changed by this pull request
Loading