From 2df160adb7eb0c8b02db2d0727a9f37bd63279c8 Mon Sep 17 00:00:00 2001 From: Gauvain Date: Tue, 14 Jul 2026 19:45:42 +0200 Subject: [PATCH] ci: skip PR title comment when the lint run was cancelled (#1803) --- .github/workflows/pr-title-comment.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pr-title-comment.yml b/.github/workflows/pr-title-comment.yml index a3117f269..648eb1c44 100644 --- a/.github/workflows/pr-title-comment.yml +++ b/.github/workflows/pr-title-comment.yml @@ -20,7 +20,12 @@ concurrency: jobs: 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 steps: - name: ⬇️ Download lint result