diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aab7fc802..0d3d3edd6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,7 @@ name: ci on: pull_request: + workflow_dispatch: push: branches: master