Fix website publishing (#740)

* Bump website release java version to 11, for mdoc Mdoc had to switch to Java 11+
sourcegraph · Aug 20, 2024 · d314dd8 · d314dd8
1 parent 10e9f08
commit d314dd8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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: