Skip to content

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

Move proof profile to its own workflow, triggered like LLM review

db735ca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar