ci: fix edge case in ci-comment workflow where old comment isn't deleted
This commit is contained in:
parent
759ed684e3
commit
67066c339e
1 changed files with 3 additions and 0 deletions
3
.github/workflows/ci-comment.yml
vendored
3
.github/workflows/ci-comment.yml
vendored
|
|
@ -21,9 +21,12 @@ jobs:
|
||||||
runs-on: ubuntu-slim
|
runs-on: ubuntu-slim
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
|
# If the workflow fails before uploading summaries, no artifacts exist and this step fails.
|
||||||
|
# Allow failure so the "Delete PR comment" step still runs to clean up stale comments.
|
||||||
- name: Download summaries
|
- name: Download summaries
|
||||||
id: download
|
id: download
|
||||||
uses: actions/download-artifact@v4
|
uses: actions/download-artifact@v4
|
||||||
|
continue-on-error: true
|
||||||
with:
|
with:
|
||||||
run-id: ${{ github.event.workflow_run.id }}
|
run-id: ${{ github.event.workflow_run.id }}
|
||||||
pattern: summary-*
|
pattern: summary-*
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue