From 02b986c8c735e4c8c96cf42a2d52c62306411401 Mon Sep 17 00:00:00 2001
From: "http4s-steward[bot]"
 <106843772+http4s-steward[bot]@users.noreply.github.com>
Date: Sat, 16 Jul 2022 20:29:45 +0000
Subject: [PATCH 1/2] Update sbt-typelevel, ... to 0.4.13

---
 core/build.sbt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/build.sbt b/core/build.sbt
index 52fb048..60d9142 100644
--- a/core/build.sbt
+++ b/core/build.sbt
@@ -1,4 +1,4 @@
-val sbtTypelevelVersion = "0.4.12"
+val sbtTypelevelVersion = "0.4.13"
 addSbtPlugin("org.typelevel" % "sbt-typelevel" % sbtTypelevelVersion)
 addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % sbtTypelevelVersion)
 addSbtPlugin("org.typelevel" % "sbt-typelevel-scalafix" % sbtTypelevelVersion)

From cef76a93c47bdc3ec86c872830f037e64e3629f7 Mon Sep 17 00:00:00 2001
From: "http4s-steward[bot]"
 <106843772+http4s-steward[bot]@users.noreply.github.com>
Date: Sat, 16 Jul 2022 20:30:33 +0000
Subject: [PATCH 2/2] Run prePR with sbt-typelevel

Executed command: sbt tlPrePrBotHook
---
 .github/workflows/ci.yml | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8a88e46..c71fd4e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -225,26 +225,6 @@ jobs:
           tar xf targets.tar
           rm targets.tar
 
-      - name: Download target directories (2.12.16)
-        uses: actions/download-artifact@v2
-        with:
-          name: target-${{ matrix.os }}-${{ matrix.java }}-2.12.16
-
-      - name: Inflate target directories (2.12.16)
-        run: |
-          tar xf targets.tar
-          rm targets.tar
-
-      - name: Download target directories (2.12.16)
-        uses: actions/download-artifact@v2
-        with:
-          name: target-${{ matrix.os }}-${{ matrix.java }}-2.12.16
-
-      - name: Inflate target directories (2.12.16)
-        run: |
-          tar xf targets.tar
-          rm targets.tar
-
       - name: Import signing key
         if: env.PGP_SECRET != '' && env.PGP_PASSPHRASE == ''
         run: echo $PGP_SECRET | base64 -di | gpg --import