Skip to content

added workflow dispatch trigger#12

Merged
MathiasPechinger merged 1 commit intomainfrom
dev-ci
Nov 18, 2025
Merged

added workflow dispatch trigger#12
MathiasPechinger merged 1 commit intomainfrom
dev-ci

Commits

Commits on Nov 18, 2025