FAST - trigger GitHub workflow also on PR synchronize event (#702)

Add synchronize to the pull_request trigger so that the workflow is also run when the source branch is updated.
This commit is contained in:
Michael Gfeller 2022-06-27 10:13:41 +02:00 committed by GitHub
parent 5aebd2c87d
commit df9bdc2fb0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -21,6 +21,7 @@ on:
types:
- closed
- opened
- synchronize
env:
FAST_OUTPUTS_BUCKET: ${outputs_bucket}