From fae83f8ed17518574f0f6e1200bbd8a049bc1811 Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sun, 3 Nov 2024 11:45:35 +0100
Subject: [PATCH] use java 11 for utility workflow steps

---
 .github/workflows/actions.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
index b10ddc881e..367d15aa60 100644
--- a/.github/workflows/actions.yml
+++ b/.github/workflows/actions.yml
@@ -65,7 +65,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: 8
+          java-version: 11
       - name: Publish to Maven Central
         run: |
           if [[ $(git tag --points-at HEAD) != '' ]]; then
@@ -93,7 +93,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: '8'
+          java-version: '11'
       - name: Upload Example Zips
         run: ./mill uploadToGithub
 
@@ -112,7 +112,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: 8
+          java-version: 11
       - name: Generate Website
         run: |
           cd docs