diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0c79351a6..f055b61a3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,7 @@ name: CI on: pull_request: {} + workflow_dispatch: {} jobs: build: