Add a manual CI trigger (workflow_dispatch) #15

Merged
dongar merged 2 commits from ci-scheduled into main 2026-09-07 20:44:49 +00:00
+2
View File
@@ -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: