···160160 # Do NOT change the name of this job, otherwise the rule will not catch it anymore.
161161 # This would prevent all PRs from merging.
162162 name: no PR failures
163163- if: ${{ cancelled() || failure() }}
163163+ # A single job is "cancelled" when it hits its timeout. This is not the same
164164+ # as "skipped", which happens when the `if` condition doesn't apply.
165165+ # The "cancelled()" function only checks the whole workflow, but not individual
166166+ # jobs.
167167+ if: ${{ failure() || contains(needs.*.result, 'cancelled') }}
164168 runs-on: ubuntu-24.04-arm
165169 steps:
166170 - run: exit 1
···105105 # See: https://github.com/systemd/systemd/issues/9911
106106 # This hack does the job but takes down the whole interface to do it.
107107 script = ''
108108- ip link delete ${name}
108108+ ip link delete ${name} || :
109109 networkctl reload
110110 '';
111111 };