diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e52ab6e02e..37a58f48bb 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -11,6 +11,7 @@ on: pull_request: branches: - master + workflow_dispatch: # cancel already running builds of the same branch or pull request concurrency: