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

AdaWorldAPI merged 2 commits into
mainfrom
claude/ruling-never-pin-bump

Commits

  1. Commits on Jul 6, 2026