Skip to content

ci(lean): wire proof-integrity gate onto ProgramGames (B.3 hole, #15221 follow-up) - #15379

Merged
jsboige merged 1 commit into
mainfrom
feature/lean-programgames-axiom-gate
Sep 11, 2026
Merged

ci(lean): wire proof-integrity gate onto ProgramGames (B.3 hole, #15221 follow-up)#15379
jsboige merged 1 commit into
mainfrom
feature/lean-programgames-axiom-gate

Commits

  1. Commits on Sep 11, 2026