chore: pr-body: run as part of merge_group, but do not do anything (#6069)

This commit is contained in:
Joachim Breitner 2024-11-13 16:47:58 +01:00 committed by GitHub
parent 1315266dd3
commit fa33423c84
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,6 +1,7 @@
name: Check PR body for changelog convention
on:
merge_group:
pull_request:
types: [opened, synchronize, reopened, edited, labeled, converted_to_draft, ready_for_review]
@ -9,6 +10,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Check PR body
if: github.event_name == 'pull_request'
uses: actions/github-script@v7
with:
script: |