diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 229a4d599..d2d922281 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ on: push: branches: [main, dev] pull_request: + workflow_dispatch: # Least privilege: none of the jobs write to the repo. permissions: