Verify list.sc in GitHub Action when not using mill.

sireum · Mar 17, 2024 · 26f3103 · 26f3103
1 parent 7c71fad
commit 26f3103
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala
@@ -51,7 +51,7 @@ class LogikaRcTest extends SireumRcSpec {
     name match {
     case "opsem.sc" | "opsem-alt.sc" => Os.isMac && isInGithubAction
     case "conformance-swap.sc" => isSimplified
-    case "list.sc" => isInGithubAction
+    case "list.sc" => isInGithubAction && Os.env("MILL_VERSION").nonEmpty
     case "strictpure.sc" => Os.isWin && isInGithubAction && !isSimplified
     case _ => false
   }