Skip to content

ci(lean,#16334): wire serre100_lean into Lean CI — l'acceptance « lake build SUCCESS » du grain 6 devient vérifiable - #16789

Merged
jsboige merged 3 commits into
mainfrom
feature/16334-serre-lean-ci
Sep 21, 2026
Merged

ci(lean,#16334): wire serre100_lean into Lean CI — l'acceptance « lake build SUCCESS » du grain 6 devient vérifiable#16789
jsboige merged 3 commits into
mainfrom
feature/16334-serre-lean-ci

Merge origin/main into feature/16334-serre-lean-ci — rattrape #16843 …

6863c90
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar