chore(ci): disable vac,cex mode to root cause failures

seahorn · Feb 9, 2024 · 3760f74 · 3760f74
1 parent fd5b257
commit 3760f74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -14,7 +14,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        verify_flag: ["", "--vac", "--cex"]
+        verify_flag: [""] #, "--vac", "--cex"]
 
     steps:
       - name: Checkout