Repository navigation

Deploy Pages only after autoform verify passes, and refuse a lean: name defined twice - #140

Draft

Deicyde wants to merge 2 commits into

open-statements-revisionfrom

fix/pages-after-verify

Commits on Oct 5, 2026

Deploy Pages only for a commit autoform verify passed
Deicyde
committed
5e986b3
Refuse a lean: name defined more than once in check --lean-root
Deicyde
committed
a5fec94