ci: add workflow_dispatch trigger to CI workflow

Lets contributors manually run CI against a branch on their own fork
before opening a PR, without needing to open a draft PR or push an
empty commit just to get a CI run.

Fixes #1116

Signed-off-by: Daniel Garnier-Moiroux <git@garnier.wf>
This commit is contained in:
Daniel Garnier-Moiroux 2026-08-28 17:35:09 +02:00
commit a7bfddc361

View file

@ -2,6 +2,7 @@ name: CI
on:
pull_request: {}
workflow_dispatch: {}
jobs:
build: