ci: add workflow_dispatch trigger for manual CI runs

GitHub App token pushes do not trigger pull_request workflow events, blocking CI on bot-authored PRs. Add workflow_dispatch to allow manual CI runs via: gh workflow run ci.yml --ref <branch> Co-Authored-By: Paperclip <noreply@paperclip.ing>
2026-03-30 12:37:13 +00:00
parent 8437dc43dc
commit bf1b93aead
1 changed files with 6 additions and 0 deletions
@@ -5,6 +5,12 @@ on:
    branches: [main]
  pull_request:
    branches: [main]
  workflow_dispatch:
    inputs:
      ref:
        description: "Branch or ref to run CI against"
        required: false
        default: "main"
 jobs:
  lint-typecheck: