diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index 6eb7d14..cad44d9 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -2,6 +2,8 @@ name: CI on: push: pull_request: + # Manual re-run, e.g. after rotating a credential or raising a budget cap. + workflow_dispatch: jobs: checks: