Skip to content

ci: add manual-dispatch release workflow; make CI a pure gate - #3

Merged
bbrauzzi merged 1 commit into
developfrom
ci/manual-release-pipeline
Jun 3, 2026
Merged

ci: add manual-dispatch release workflow; make CI a pure gate#3
bbrauzzi merged 1 commit into
developfrom
ci/manual-release-pipeline

Commits

Commits on Jun 3, 2026