Repository navigation

quality.py declaration-name fixes + proof-profile own workflow - #35

Merged

Vilin97 merged 2 commits into

mainfrom

ci/declaration-names-and-profile-workflow

May 10, 2026

Merged

quality.py declaration-name fixes + proof-profile own workflow#35
Vilin97 merged 2 commits into
mainfrom
ci/declaration-names-and-profile-workflow

Commits on May 10, 2026
- quality.py: parse Unicode and _root_.-escaped declaration names
  Vilin97
  committed
  af32eec
- Move proof profile to its own workflow, triggered like LLM review
  Vilin97
  committed
  db735ca