Skip to content

ci: allow manually dispatching the CI workflow - #109

Merged
Mearman merged 1 commit into
mainfrom
chore/ci-workflow-dispatch
Sep 13, 2026
Merged

ci: allow manually dispatching the CI workflow#109
Mearman merged 1 commit into
mainfrom
chore/ci-workflow-dispatch

Commits

Commits on Sep 13, 2026