Merge pull request #102 from hnaderi/update/sbt-typelevel-0.6.2

Update sbt-typelevel, sbt-typelevel-site to 0.6.2
hnaderi · Nov 17, 2023 · efab8d2 · efab8d2
2 parents 68a04f8 + 60deb2f
commit efab8d2
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 4 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: _*
+            )
+          )
         )
     }
   )

diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -1,2 +1,2 @@
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.5.4")
-addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.5.4")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.6.2")
+addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.6.2")