ci: skip PR title comment when the lint run was cancelled (#1803)

This commit is contained in:
Gauvain
2026-07-14 19:45:42 +02:00
committed by GitHub
parent 8d54d65b63
commit 2df160adb7

View File

@@ -20,7 +20,12 @@ concurrency:
jobs: jobs:
comment: comment:
if: github.event.workflow_run.event == 'pull_request' # Only run when the lint run actually produced a result artifact: a run
# cancelled by concurrency (rapid pushes to the same PR) completes with
# conclusion "cancelled" before uploading it, and would fail the download.
if: >
github.event.workflow_run.event == 'pull_request' &&
contains(fromJSON('["success", "failure"]'), github.event.workflow_run.conclusion)
runs-on: ubuntu-26.04 runs-on: ubuntu-26.04
steps: steps:
- name: ⬇️ Download lint result - name: ⬇️ Download lint result