From 3760f748b94e54b38887fbe3bb13e7c19869f449 Mon Sep 17 00:00:00 2001
From: Siddharth Priya <s2priya@uwaterloo.ca>
Date: Fri, 9 Feb 2024 11:07:04 -0500
Subject: [PATCH] chore(ci): disable vac,cex mode to root cause failures

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 64b1fb4..214d9b2 100644
--- 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