From bddfd4fc2ab64e90f22eaa33a132db768fb2cd1a Mon Sep 17 00:00:00 2001
From: rikosellic <64517311+rikosellic@users.noreply.github.com>
Date: Wed, 31 Dec 2025 11:47:45 +0800
Subject: [PATCH] fix error detection in verus-update-test

---
 .github/workflows/verus-update-test.yml | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/verus-update-test.yml b/.github/workflows/verus-update-test.yml
index 942954e97..ed71ed05a 100644
--- a/.github/workflows/verus-update-test.yml
+++ b/.github/workflows/verus-update-test.yml
@@ -34,21 +34,14 @@ jobs:
           # Discard any uncommitted changes in tools/verus before upgrade
           git -C tools/verus reset --hard HEAD
           cargo dv bootstrap --upgrade --test_branch
-          make 2>&1 | tee verus_main.log
-          if grep -q "error:" verus_main.log; then
-            echo "::error title=Main Branch Verification Failed::Errors found in main branch"
-            grep "error:" verus_main.log | while read line; do
-              echo "::error::$line"
-            done
+          set -o pipefail
+          if ! make 2>&1; then
+            echo "❌ Verification failed"
             exit 1
           else
             echo "✅ Main branch verification passed!"
           fi
 
-      - name: Cleanup logs
-        if: always()
-        run: rm -f verus_main.log
-
       - name: Dispatch back to fork for promotion
         if: success()
         uses: peter-evans/repository-dispatch@v2