ci: add workflow_dispatch trigger for manual CI runs#1114
Merged
felixweinberger merged 1 commit intomainfrom Nov 14, 2025
Merged
ci: add workflow_dispatch trigger for manual CI runs#1114felixweinberger merged 1 commit intomainfrom
felixweinberger merged 1 commit intomainfrom