Merge pull request #181 from typelevel/update/sbt-typelevel-0.7.1

Update sbt-typelevel, ... to 0.7.1

Author: TonioGela

.github/workflows/ci.yml

@@ -269,7 +269,7 @@ jobs:
 
       - name: Publish site
         if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main'
-        uses: peaceiris/actions-gh-pages@v3.9.3
+        uses: peaceiris/actions-gh-pages@v4.0.0
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: site/target/docs/site

project/plugins.sbt

@@ -1,4 +1,4 @@
-val sbtTlVersion = "0.7.0"
+val sbtTlVersion = "0.7.1"
 addSbtPlugin("org.typelevel" % "sbt-typelevel" % sbtTlVersion)
 addSbtPlugin("org.typelevel" % "sbt-typelevel-mergify" % sbtTlVersion)
 addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % sbtTlVersion)