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
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)