Merge pull request #886 from Banno/update/sbt-typelevel-0.7.1

Update sbt-typelevel, sbt-typelevel-site to 0.7.1
Banno · May 7, 2024 · da15b08 · da15b08
2 parents 47b46ea + f27f466
commit da15b08
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -239,7 +239,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

diff --git a/project/plugins.sbt b/project/plugins.sbt
@@ -1,4 +1,4 @@
-val typelevelV = "0.7.0"
+val typelevelV = "0.7.1"
 
 addSbtPlugin("com.julianpeeters" % "sbt-avrohugger" % "2.8.3")
 addSbtPlugin("io.github.davidgregory084" % "sbt-tpolecat" % "0.3.1")