From fecc74ffd5df1cd89395c160204a130219b39ea9 Mon Sep 17 00:00:00 2001
From: "banno-diy-steward[bot]"
 <407453+banno-diy-steward[bot]@users.noreply.github.com>
Date: Mon, 6 May 2024 20:04:20 +0000
Subject: [PATCH 1/2] Update sbt-typelevel, ... to 0.7.1

---
 project/plugins.sbt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/project/plugins.sbt b/project/plugins.sbt
index 3bbac20..99e4a36 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -1,4 +1,4 @@
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.0")
-addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.7.0")
-addSbtPlugin("org.typelevel" % "sbt-typelevel-scalafix" % "0.7.0")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.1")
+addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.7.1")
+addSbtPlugin("org.typelevel" % "sbt-typelevel-scalafix" % "0.7.1")
 addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.5.2")

From 219cf1cb4e789613bceeb7b9e73807f2aae7b797 Mon Sep 17 00:00:00 2001
From: "banno-diy-steward[bot]"
 <407453+banno-diy-steward[bot]@users.noreply.github.com>
Date: Mon, 6 May 2024 20:04:56 +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 2898912..4804bd5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -279,7 +279,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