[CI] Make the bot less aggressive (#9575)

Co-authored-by: Jirka Borovec <Borda@users.noreply.github.com>
This commit is contained in:
thomas chaton 2021-09-17 16:33:24 +01:00 committed by GitHub
parent 2ec39e275e
commit 10d8031139
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -1,9 +1,9 @@
name: VerifyIssue name: Verify Issue Linking
on: on:
pull_request: pull_request:
branches: [master] branches: [master]
types: [edited, synchronize, opened, reopened, ready_for_review] types: [opened, edited, reopened, ready_for_review]
check_run: check_run:
jobs: jobs: