Skip to content

freeze: refuse a release tag that does not follow the record - #96

Merged
thedavidmeister merged 1 commit into
mainfrom
2026-08-15-issue-84-freeze-monotonicity
Aug 16, 2026
Merged

thedavidmeister merged 1 commit into
mainfrom
2026-08-15-issue-84-freeze-monotonicity

Commits

Commits on Aug 15, 2026