Skip to content

fix: mint record ids across git refs and add a spec-id uniqueness lint#137

Open
REPPL wants to merge 3 commits into
fix/iss-117-impact-write-pathsfrom
fix/iss-115-120-id-allocator-class
Open

fix: mint record ids across git refs and add a spec-id uniqueness lint#137
REPPL wants to merge 3 commits into
fix/iss-117-impact-write-pathsfrom
fix/iss-115-120-id-allocator-class

fix: guard itd/spc id minting against integer-ceiling overflow

22f5031
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
record-lint
succeeded Jul 25, 2026 in 6s