Repository navigation

Ci(tests,#23359): cabler SymbolicAI/Lean/Geometry/tests dans pytest.ini + workflow dedie - #23372

Merged

myia-ai-01 merged 7 commits into

mainfrom

feature/geometry-tests-ci

Oct 31, 2026

Merged

Ci(tests,#23359): cabler SymbolicAI/Lean/Geometry/tests dans pytest.ini + workflow dedie#23372
myia-ai-01 merged 7 commits into
mainfrom
feature/geometry-tests-ci

Commits on Oct 31, 2026
- Ci(tests,#23359): cabler SymbolicAI/Lean/Geometry/tests dans pytest.ini + workflow dedie
  
  jsboige
  and
  claude
  committed
  5d8e5bd
- Merge branch 'main' into feature/geometry-tests-ci
  jsboige
  authored
  4574ac3
- Merge branch 'main' into feature/geometry-tests-ci
  jsboige
  authored
  bca7f39
- Merge remote-tracking branch 'origin/main' into feature/geometry-tests-ci
  jsboige
  committed
  08ad92b
- Fix(ci,#23359): le workflow Geometry adopte la forme hybride de debordement
  
  jsboige
  and
  claude
  committed
  53fb62d
- Merge branch 'main' into feature/geometry-tests-ci
  jsboige
  authored
  40b73b3
- Merge branch 'main' into feature/geometry-tests-ci
  jsboige
  authored
  9f176c7