Check merged flag from event.pull_request

This commit is contained in:
Michael Kaye 2022-05-09 15:46:07 +01:00
parent 30ee8faaa1
commit 2f39be37a0

View File

@ -25,7 +25,7 @@ jobs:
should-i-run:
name: Check if PR is suitable for analysis
runs-on: ubuntu-latest
if: github.event.merged # Additionally require PR to have been completely merged.
if: github.event.pull_request.merged # Additionally require PR to have been completely merged.
steps:
- run: echo "Run those tests!" # no-op success