Update sbt-typelevel to 0.4.17 (#501)

* Update sbt-typelevel to 0.4.17

* Run prePR with sbt-typelevel

Executed command: sbt tlPrePrBotHook

Co-authored-by: typelevel-steward[bot] <106827141+typelevel-steward[bot]@users.noreply.github.com>

.github/workflows/ci.yml

@@ -68,7 +68,7 @@ jobs:
       - name: Check that workflows are up to date
         run: sbt githubWorkflowCheck
 
-      - run: sbt '++${{ matrix.scala }}' clean coverage test mimaReportBinaryIssues scalastyle scalafmtCheckAll scalafmtSbtCheck unidoc coverageReport
+      - run: sbt '++ ${{ matrix.scala }}' clean coverage test mimaReportBinaryIssues scalastyle scalafmtCheckAll scalafmtSbtCheck unidoc coverageReport
 
       - name: Code coverage analysis
         uses: codecov/codecov-action@v1
@@ -164,4 +164,4 @@ jobs:
           (echo "$PGP_PASSPHRASE"; echo; echo) | gpg --command-fd 0 --pinentry-mode loopback --change-passphrase $(gpg --list-secret-keys --with-colons 2> /dev/null | grep '^sec:' | cut --delimiter ':' --fields 5 | tail -n 1)
 
       - name: Publish
-        run: sbt '++${{ matrix.scala }}' tlRelease
+        run: sbt '++ ${{ matrix.scala }}' tlRelease

project/plugins.sbt

@@ -1,5 +1,5 @@
 addSbtPlugin("com.github.sbt" % "sbt-unidoc" % "0.5.0")
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.4.16")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.4.17")
 addSbtPlugin("com.typesafe.sbt" % "sbt-ghpages" % "0.6.3")
 addSbtPlugin("org.scalastyle" %% "scalastyle-sbt-plugin" % "1.0.0")
 addSbtPlugin("org.scoverage" % "sbt-scoverage" % "2.0.6")