Skip to content

demo: adding a frozen invariant the pipeline should catch#1

Open
mariusargatu wants to merge 4 commits into
mainfrom
demo/spec-change-caught
Open

demo: adding a frozen invariant the pipeline should catch#1
mariusargatu wants to merge 4 commits into
mainfrom
demo/spec-change-caught

Commits

Commits on Jul 12, 2026