diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 8baa2a1108e..429b38fd235 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -34,6 +34,7 @@ on: - .circleci/** branches: - '**' + workflow_dispatch: ~ concurrency: group: ${{ github.workflow }}-${{ github.event.pull_request.url || github.run_id }} cancel-in-progress: true