Fix verify-std-check outcome check (#3394)

It looks like I used `output` instead of `outcome` variable. I noticed that [this PR](#3392) should've failed the workflow but it didn't because of this mistake. Co-authored-by: Jaisurya Nanduri <[email protected]>
model-checking · Jul 29, 2024 · 7cd31aa · 7cd31aa
1 parent 93b3081
commit 7cd31aa
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/verify-std-check.yml b/.github/workflows/verify-std-check.yml
@@ -80,8 +80,10 @@ jobs:
             -Z mem-predicates -Z ptr-to-ref-cast-checks
 
       - name: Compare PR results
-        if: steps.check-head.outcome != 'success' && steps.check-head.output != github.check-base.output
+        if: steps.check-head.outcome != 'success' && steps.check-head.outcome != steps.check-base.outcome
         run: |
           echo "New failure introduced by this change"
+          echo "HEAD: ${{ steps.check-head.outcome }}"
+          echo "BASE: ${{ steps.check-base.outcome }}"
           exit 1