Fixed website generation

hnaderi · Nov 17, 2023 · 60deb2f · 60deb2f
1 parent 53a5bdc
commit 60deb2f
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -220,7 +220,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        java: [temurin@8]
+        java: [temurin@11]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Checkout current branch (full)
@@ -241,6 +241,19 @@ jobs:
         if: matrix.java == 'temurin@8' && steps.setup-java-temurin-8.outputs.cache-hit == 'false'
         run: sbt +update
 
+      - name: Setup Java (temurin@11)
+        id: setup-java-temurin-11
+        if: matrix.java == 'temurin@11'
+        uses: actions/setup-java@v3
+        with:
+          distribution: temurin
+          java-version: 11
+          cache: sbt
+
+      - name: sbt update
+        if: matrix.java == 'temurin@11' && steps.setup-java-temurin-11.outputs.cache-hit == 'false'
+        run: sbt +update
+
       - name: Generate site
         run: sbt docs/tlSite
 

diff --git a/project/WebsitePlugin.scala b/project/WebsitePlugin.scala
@@ -23,7 +23,13 @@ object WebsitePlugin extends AutoPlugin {
         )
         .site
         .mainNavigation(appendLinks =
-          Seq(ThemeNavigationSection("Related projects", relatedProjectLinks))
+          Seq(
+            ThemeNavigationSection(
+              "Related projects",
+              relatedProjectLinks.head,
+              relatedProjectLinks.tail: _*
+            )
+          )
         )
     }
   )