Skip to content

ci: add workflow_dispatch trigger for manual CI runs#1114

Merged
felixweinberger merged 1 commit intomainfrom
fweinberger/workflow-dispatch
Nov 14, 2025
Merged

ci: add workflow_dispatch trigger for manual CI runs#1114
felixweinberger merged 1 commit intomainfrom
fweinberger/workflow-dispatch

Commits

Commits on Nov 14, 2025