Skip to content

ci: add manual GitHub Release workflow dispatch#71

Merged
eddietejeda merged 1 commit into
mainfrom
ci/release-workflow-dispatch
May 20, 2026
Merged

ci: add manual GitHub Release workflow dispatch#71
eddietejeda merged 1 commit into
mainfrom
ci/release-workflow-dispatch

Commits

Commits on May 20, 2026