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: on:
push: push:
pull_request: pull_request:
# Manual re-run, e.g. after rotating a credential or raising a budget cap.
workflow_dispatch:
jobs: jobs:
checks: checks: