···

       
160
       
160
       
 
       
    # Do NOT change the name of this job, otherwise the rule will not catch it anymore.

     

       
161
       
161
       
 
       
    # This would prevent all PRs from merging.

     

       
162
       
162
       
 
       
    name: no PR failures

     

       
163
       
163
       
-
       
    if: ${{ cancelled() || failure() }}

     

       
163
       
163
       
+
       
    # A single job is "cancelled" when it hits its timeout. This is not the same

     

       
164
       
164
       
+
       
    # as "skipped", which happens when the `if` condition doesn't apply.

     

       
165
       
165
       
+
       
    # The "cancelled()" function only checks the whole workflow, but not individual

     

       
166
       
166
       
+
       
    # jobs.

     

       
167
       
167
       
+
       
    if: ${{ failure() || contains(needs.*.result, 'cancelled') }}

     

       
164
       
168
       
 
       
    runs-on: ubuntu-24.04-arm

     

       
165
       
169
       
 
       
    steps:

     

       
166
       
170
       
 
       
      - run: exit 1