Skip to content

feat(formal): measure Quint style and enforce two caps - #234

Merged
lan17 merged 2 commits into
mainfrom
claude/formal-style-check
Oct 15, 2026
Merged

feat(formal): measure Quint style and enforce two caps#234
lan17 merged 2 commits into
mainfrom
claude/formal-style-check

fix(formal): count a header written before the module line; align the…

7e7143d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar