Repository navigation

Fix(ci,#13751): galois_lean migre dans la matrice lean-ci -- wrapper supprime (tranche workflows, 28e lake) - #23011

Merged

jsboige merged 5 commits into

mainfrom

feature/13751-galois-matrix

Nov 1, 2026

Merged

Fix(ci,#13751): galois_lean migre dans la matrice lean-ci -- wrapper supprime (tranche workflows, 28e lake)#23011
jsboige merged 5 commits into
mainfrom
feature/13751-galois-matrix

Commits on Oct 27, 2026
- feat(ci,#13751): galois_lean migre dans la matrice lean-ci, wrapper supprime (tranche workflows, 28e lake)
  
  jsboige
  and
  claude
  committed
  2989779
Commits on Oct 28, 2026
- Merge branch 'main' into feature/13751-galois-matrix
  jsboige
  authored
  527360d
Commits on Oct 31, 2026
- Merge origin/main dans feature/13751-galois-matrix -- deux migrations concurrentes, les deux lakes conserves
  
  jsboige
  and
  claude
  committed
  f5a57bf
- Merge origin/main into feature/13751-galois-matrix (apres conflit modify/delete)
  
  jsboige
  and
  claude
  committed
  1dc6cee
Commits on Nov 1, 2026
- Merge branch 'main' into feature/13751-galois-matrix
  jsboige
  authored
  cb47993