Disabled list.sc test in Github Action.

sireum · Mar 17, 2024 · c5b124d · c5b124d
1 parent 7d4555b
commit c5b124d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala
@@ -51,6 +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 "strictpure.sc" => Os.isWin && isInGithubAction && !isSimplified
     case _ => false
   }