Skip to content

.github: run ci workflow on workflow_dispatch#164

Merged
ErikSchierboom merged 3 commits intomainfrom ci-allow-starting-workflow-manuallyMar 8, 2024

Commits

Commits on Mar 5, 2024