Update sbt-typelevel, ... to 0.7.2 (#379)

* Update sbt-typelevel, ... to 0.7.2

* Regenerate GitHub Actions workflow

Executed command: sbt githubWorkflowGenerate

Author: hnaderi

.github/workflows/ci.yml

@@ -39,6 +39,10 @@ jobs:
     runs-on: ${{ matrix.os }}
     timeout-minutes: 60
     steps:
+      - name: Install sbt
+        if: contains(runner.os, 'macos')
+        run: brew install sbt
+
       - name: Checkout current branch (full)
         uses: actions/checkout@v4
         with:
@@ -109,6 +113,10 @@ jobs:
         java: [temurin@8]
     runs-on: ${{ matrix.os }}
     steps:
+      - name: Install sbt
+        if: contains(runner.os, 'macos')
+        run: brew install sbt
+
       - name: Checkout current branch (full)
         uses: actions/checkout@v4
         with:
@@ -188,6 +196,10 @@ jobs:
         java: [temurin@8]
     runs-on: ${{ matrix.os }}
     steps:
+      - name: Install sbt
+        if: contains(runner.os, 'macos')
+        run: brew install sbt
+
       - name: Checkout current branch (full)
         uses: actions/checkout@v4
         with:
@@ -229,6 +241,10 @@ jobs:
         java: [temurin@17]
     runs-on: ${{ matrix.os }}
     steps:
+      - name: Install sbt
+        if: contains(runner.os, 'macos')
+        run: brew install sbt
+
       - name: Checkout current branch (full)
         uses: actions/checkout@v4
         with:

project/plugins.sbt

@@ -3,9 +3,9 @@ addSbtPlugin("org.scalastyle" %% "scalastyle-sbt-plugin" % "1.0.0")
 addSbtPlugin("org.scalameta" % "sbt-scalafmt" % "2.5.2")
 addSbtPlugin("ch.epfl.scala" % "sbt-scalafix" % "0.12.1")
 addSbtPlugin("de.heikoseeberger" % "sbt-header" % "5.10.0")
-addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.1")
-addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.7.1")
-addSbtPlugin("org.typelevel" % "sbt-typelevel-github-actions" % "0.7.1")
+addSbtPlugin("org.typelevel" % "sbt-typelevel" % "0.7.2")
+addSbtPlugin("org.typelevel" % "sbt-typelevel-site" % "0.7.2")
+addSbtPlugin("org.typelevel" % "sbt-typelevel-github-actions" % "0.7.2")
 addSbtPlugin("org.scala-js" % "sbt-scalajs" % "1.16.0")
 addSbtPlugin("org.scalameta" % "sbt-mdoc" % "2.5.4")
 addSbtPlugin("org.portable-scala" % "sbt-scala-native-crossproject" % "1.3.2")