ci: update halmos command

farcasterxyz · Sep 25, 2024 · f5f6f26 · f5f6f26
1 parent ec2c88d
commit f5f6f26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -136,7 +136,7 @@ jobs:
         run: pip install halmos
 
       - name: Run halmos
-        run: halmos --error-unknown --test-parallel --solver-parallel --storage-layout=generic --solver-timeout-assertion 0
+        run: halmos --solver-timeout-assertion 0
 
   coverage:
     permissions: