debug ci

epfl-lara · Nov 28, 2024 · 52697c2 · 52697c2
1 parent b7179dc
commit 52697c2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/run-one-test.sh b/run-one-test.sh
@@ -30,9 +30,9 @@ function run_tests {
     cat "./verify.sh"
     echo ""
     if [ "$ADMIT_VCS" = true ]; then
-      bash "./verify.sh" "--compact" "--admit-vcs=true"
+      bash "./verify.sh" "--compact" "--admit-vcs=true" "--debug=stack"
     else
-      bash "./verify.sh" "--compact"
+      bash "./verify.sh" "--compact" "--debug=stack"
     fi
     status=$?
     cd -