Only trigger PR validation when it's open

This commit is contained in:
Yann Bertrand
2020-05-05 13:47:43 +02:00
committed by GitHub
parent 6cf320a0e0
commit 03d96f8adf

View File

@@ -20,4 +20,4 @@ jobs:
- name: Validate pull request changes
run: build/github-pull.sh ${{ github.repository }} ${{ github.event.pull_request.number }} ${FORMAT_FILE}
if: github.event_name == 'pull_request'
if: github.event_name == 'pull_request' && github.event.action != 'closed'