1
0
Fork 0

Bug 1631014 - Do no trigger a new set of jobs when PR is edited (#10024)

master
Johan Lorenzo 2020-04-20 11:25:37 +02:00 committed by GitHub
parent 94f19b7fee
commit 6e723117ad
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -100,7 +100,7 @@ tasks:
in:
$if: >
tasks_for in ["action", "cron"]
|| (tasks_for == "github-pull-request" && pullRequestAction in ["opened", "reopened", "edited", "synchronize"])
|| (tasks_for == "github-pull-request" && pullRequestAction in ["opened", "reopened", "synchronize"])
|| (tasks_for == "github-push" && head_branch[:10] != "refs/tags/")
|| (tasks_for == "github-release" && releaseAction == "published")
then: