diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 92cacf5bc..8365beb43 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,6 +3,7 @@ name: CI on: push: pull_request: + workflow_dispatch: schedule: [cron: "40 1 * * *"] permissions: