diff --git a/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala b/jvm/src/test/scala/org/sireum/logika/LogikaRcTest.scala
index c9a7e634..019e3ab4 100644
--- 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
   }