From e3de2e2ae3afa90982fc435272b2c8b7bab817e7 Mon Sep 17 00:00:00 2001
From: "typelevel-steward[bot]"
 <106827141+typelevel-steward[bot]@users.noreply.github.com>
Date: Mon, 6 May 2024 20:06:21 +0000
Subject: [PATCH 1/2] Update sbt-typelevel, sbt-typelevel-site to 0.7.1

---
 project/plugins.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/plugins.sbt b/project/plugins.sbt
index 7e7e1ae8e0..31e9ea45f6 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -1,4 +1,4 @@
-val sbtTypelevelVersion = "0.7.0"
+val sbtTypelevelVersion = "0.7.1"
 addSbtPlugin("org.typelevel" % "sbt-typelevel" % sbtTypelevelVersion)
 addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % sbtTypelevelVersion)
 addSbtPlugin("pl.project13.scala" % "sbt-jmh" % "0.4.7")

From 3de075a2e4ca433cec522c70ac978b16165d10ba Mon Sep 17 00:00:00 2001
From: "typelevel-steward[bot]"
 <106827141+typelevel-steward[bot]@users.noreply.github.com>
Date: Mon, 6 May 2024 20:07:51 +0000
Subject: [PATCH 2/2] Run prePR with sbt-typelevel

Executed command: sbt tlPrePrBotHook
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f8223cdc2b..8ca0283eac 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -502,7 +502,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