diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 63272b871..833ff4e82 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,8 @@ on: branches: - master pull_request: + workflow_dispatch: + jobs: documentation: