From 2edc45b6909eade065fc9b6ffd2edc6dbf45e002 Mon Sep 17 00:00:00 2001 From: Tobias Langer Date: Fri, 6 Feb 2026 09:50:33 +0100 Subject: [PATCH] Fix Java version in build-doc workflow With the bump to Java 21 for the build infrastructure, we also have to adapt the Java version used in the build-doc workflow accordingly. --- .github/workflows/build-doc.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build-doc.yaml b/.github/workflows/build-doc.yaml index 9e53a3eb4..6f4c30373 100644 --- a/.github/workflows/build-doc.yaml +++ b/.github/workflows/build-doc.yaml @@ -11,10 +11,10 @@ jobs: steps: - uses: actions/checkout@v4 - - name: Set up JDK 8 + - name: Set up JDK 21 uses: actions/setup-java@v4 with: - java-version: '8' + java-version: '21' distribution: 'corretto' - name: Create javadoc