Repository navigation

Release v1.0.0: develop -> main - #4

Merged

bbrauzzi merged 2 commits into

mainfrom

Jun 3, 2026

Merged

Release v1.0.0: develop -> main#4
bbrauzzi merged 2 commits into
mainfrom
develop

Commits on Jun 3, 2026
- ci: add manual-dispatch release workflow; make CI a pure gate
  
  bbrauzzi
  and
  claude
  committed
  a2a3f81
- Merge pull request #3 from bbrauzzi/ci/manual-release-pipeline
  bbrauzzi
  authored
  d1fb265