debug ci

epfl-lara · Nov 28, 2024 · c62c253 · c62c253
1 parent 52697c2
commit c62c253
Showing 1 changed file with 3 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" "--debug=stack"
+      bash "./verify.sh" "--compact" "--admit-vcs=true"
     else
-      bash "./verify.sh" "--compact" "--debug=stack"
+      bash "./verify.sh" "--compact"
     fi
     status=$?
     cd -
@@ -49,6 +49,7 @@ function run_tests {
 
   if [ $ADMIT_VCS = true ]; then
     if [ $status -eq 0 ] || [ $status -eq 1 ]; then
+      cat $project/stainless-stack-trace.txt
       echo "Stainless accepted project: $project."
       exit 0
     else