Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information