From d314dd80df7122754b94839f4c1b4962bbd0ad52 Mon Sep 17 00:00:00 2001
From: Anton Sviridov <anton.sviridov@sourcegraph.com>
Date: Tue, 20 Aug 2024 13:15:29 +0100
Subject: [PATCH] Fix website publishing (#740)

* Bump website release java version to 11, for mdoc

Mdoc had to switch to Java 11+
---
 .github/workflows/ci.yml   | 6 +++---
 .github/workflows/mdoc.yml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 5ea69719..55fca90d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,13 +103,13 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: "temurin"
-          java-version: 17
+          java-version: 11
           cache: "sbt"
 
-      - run: sbt checkAll
+      - run: sbt --client checkAll
 
       - name: Run sample benchmarks
-        run: sbt 'bench/Jmh/run -i 1 -f1 -t1 -foe true'
+        run: sbt --client 'bench/Jmh/run -i 1 -f1 -t1 -foe true'
 
 
   maven:
diff --git a/.github/workflows/mdoc.yml b/.github/workflows/mdoc.yml
index 9185b809..63f47555 100644
--- a/.github/workflows/mdoc.yml
+++ b/.github/workflows/mdoc.yml
@@ -13,7 +13,7 @@ jobs:
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
-          java-version: 8
+          java-version: 11
           cache: 'sbt'
       - run: sbt docs/docusaurusPublishGhpages
         env: