From 0486ad7a08e993589f059fa1b9211d0d6de60fbb Mon Sep 17 00:00:00 2001
From: Tobi <TobiGr@users.noreply.github.com>
Date: Mon, 6 Mar 2023 18:45:11 +0100
Subject: [PATCH] Update JDK to 11 in JDoc workflow

---
 .github/workflows/docs.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 146bf5c3e..b55d66068 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -15,10 +15,10 @@ jobs:
     steps:
       - uses: actions/checkout@v3
 
-      - name: set up JDK 8
+      - name: set up JDK 11
         uses: actions/setup-java@v3
         with:
-          java-version: '8'
+          java-version: '11'
           distribution: 'temurin'
 
       - name: Cache Gradle dependencies