chore(ci): further tweaks to PR description updates (#454)

This commit is contained in:
David Chavez 2024-08-01 14:39:40 +02:00 committed by GitHub
parent 6598da434e
commit 142b4d021b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,13 +1,13 @@
name: update-pr-artifacts name: update-pr-artifacts
on: on:
workflow_run: workflow_run:
workflows: [validate] workflows: [validate-external, validate-internal]
types: types:
- completed - completed
jobs: jobs:
update-pr-artifacts: update-pr-artifacts:
runs-on: ubuntu-latest runs-on: ubuntu-latest
if: github.event.workflow_run.event == 'pull_request' if: github.event.workflow_run.event == 'pull_request' && github.event.workflow_run.conclusion == 'success'
name: Update PR Artifacts name: Update PR Artifacts
steps: steps:
- name: Get PR Number - name: Get PR Number