Repository navigation

ci(lean,#11703): signal advisory des declarations ajoutees non citees (acceptance 3 — mode --pr-base + workflow label) - #14478

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/11703-lean-visibility-advisory

Sep 3, 2026

Merged

ci(lean,#11703): signal advisory des declarations ajoutees non citees (acceptance 3 — mode --pr-base + workflow label)#14478
myia-ai-01 merged 2 commits into
mainfrom
feature/11703-lean-visibility-advisory

Commits on Sep 3, 2026
- ci(lean,#11703): signal advisory des declarations ajoutees non citees — mode --pr-base de l'organe canonique + workflow label
  jsboige
  committed
  eb8b653
- ci: re-roll guards avec body corrige (PR-ref nue pour fail-closed, pas d auto-close)
  jsboige
  committed
  08baf14