Skip to content

FAST: also trigger GitHub workflow on PR synchronize event#702

Merged
ludoo merged 1 commit intoGoogleCloudPlatform:masterfrom mgfeller:mgfeller/add-github-pr-synchronize-triggerJun 27, 2022

Commits

Commits on Jun 26, 2022