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