Skip to content

Promote develop to main: CI, public readiness, and the 1.0 release notes - #7

Merged
ptr727 merged 7 commits into
mainfrom
develop
Aug 1, 2026
Merged

Promote develop to main: CI, public readiness, and the 1.0 release notes#7
ptr727 merged 7 commits into
mainfrom
develop

Reconcile the two documented forms of the release command (#9)

4540d22
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar