diff --git a/.github/workflows/integration.yaml b/.github/workflows/integration.yaml index abd97efa..9d014d2c 100644 --- a/.github/workflows/integration.yaml +++ b/.github/workflows/integration.yaml @@ -8,6 +8,7 @@ on: pull_request: branches: - master + workflow_dispatch: {} jobs: # Set the job key. The key is displayed as the job name