Skip to content

ledger: D/E-NEVER-PIN-BUMP — float-on-main ruling; non_exhaustive rejected#166

Merged
AdaWorldAPI merged 2 commits into
mainfrom
claude/ruling-never-pin-bump
Jul 6, 2026
Merged

ledger: D/E-NEVER-PIN-BUMP — float-on-main ruling; non_exhaustive rejected#166
AdaWorldAPI merged 2 commits into
mainfrom
claude/ruling-never-pin-bump

Commits

Commits on Jul 6, 2026