feat(lean-ci,#17336): wire serre100 into the CI matrix + first matrix axiom pass (B.3) - #17370

Sep 25, 2026

feat(lean-ci,#17336): wire serre100 into the CI matrix + first matrix axiom pass (B.3)#17370
myia-ai-01 merged 3 commits into
mainfrom
fix/serre100-ci-wiring-17336

Select a check to view from the sidebar