Skip to content

Allow starting the GitHub Actions workflow manually#1777

Merged
mvz merged 1 commit intomasterfrom github-actions-manual-dispatchMay 14, 2024

Commits

Commits on May 14, 2024