Merge pull request 'Add a manual CI trigger (workflow_dispatch)' (#15) from ci-scheduled into main

Reviewed-on: dongar/nisse#15
Reviewed-by: Don Garrett <dgarrett@acm.org>

.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: