fix ci

Signed-off-by: 梦境迷离 <dreamylost@outlook.com>

Author: jxnu-liguobin

build.sbt

@@ -34,8 +34,8 @@ lazy val scala212 = "2.12.17"
 lazy val scala211 = "2.11.12"
 lazy val scala213 = "2.13.8"
 
-lazy val scalatestVersion             = "3.2.15"
-lazy val h2                           = "2.1.214"
+lazy val scalatestVersion = "3.2.15"
+lazy val h2               = "2.1.214"
 
 lazy val commonSettings =
   Seq(
@@ -78,7 +78,7 @@ lazy val `smt-annotations` = (project in file("smt-annotations"))
   .settings(commonSettings)
   .settings(
     name               := "smt-annotations",
-    crossScalaVersions := List(scala213, scala212, scala211),
+    crossScalaVersions := List(scala213, scala212, scala211)
   )
   .settings(paradise())
   .enablePlugins(HeaderPlugin)

project/Commands.scala

@@ -9,17 +9,12 @@ object Commands {
 
   val FmtSbtCommand = Command.command("fmt")(state => "scalafmtSbt" :: "scalafmtAll" :: state)
 
-  val FixSbtCommand = Command.command("fix")(state => "scalafixEnable" :: "scalafixAll RemoveUnused" :: state)
-
   val FmtSbtCheckCommand =
-    Command.command("check")(state =>
-      "scalafixEnable" :: "scalafixAll --check" :: "scalafmtSbtCheck" :: "scalafmtCheckAll" :: state
-    )
+    Command.command("check")(state => "scalafmtSbtCheck" :: "scalafmtCheckAll" :: state)
 
   val value = Seq(
     FmtSbtCommand,
-    FmtSbtCheckCommand,
-    FixSbtCommand
+    FmtSbtCheckCommand
   )
 
 }

project/plugins.sbt

@@ -2,4 +2,3 @@ addSbtPlugin("com.github.sbt"    % "sbt-ci-release" % "1.5.11")
 addSbtPlugin("de.heikoseeberger" % "sbt-header"     % "5.9.0")
 addSbtPlugin("org.scoverage"     % "sbt-scoverage"  % "2.0.7")
 addSbtPlugin("org.scalameta"     % "sbt-scalafmt"   % "2.5.0")
-addSbtPlugin("ch.epfl.scala"     % "sbt-scalafix"   % "0.10.4")