Skip to content

Bump SPEC_REF to current intentproof-spec main#104

Merged
negillett merged 1 commit into
mainfrom
align-spec-ref
May 30, 2026
Merged

Bump SPEC_REF to current intentproof-spec main#104
negillett merged 1 commit into
mainfrom
align-spec-ref

Commits

Commits on May 30, 2026