diff --git a/.github/workflows/build-check.yml b/.github/workflows/build-check.yml index 55d242b5..855278a7 100644 --- a/.github/workflows/build-check.yml +++ b/.github/workflows/build-check.yml @@ -3,6 +3,7 @@ name: Build check on: pull_request: types: [opened, synchronize, reopened, ready_for_review] + workflow_dispatch: # TODO: remove before opening upstream PR # Cancel superseded runs on the same PR. concurrency: