Repository navigation

Fix(guard,#23111): 5e faux positif artifact exempte + renvoi catalogue sur Lean-31/34/34b - #24543

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/23111-prose-allowlist

Nov 4, 2026

Merged

Fix(guard,#23111): 5e faux positif artifact exempte + renvoi catalogue sur Lean-31/34/34b#24543
myia-ai-01 merged 2 commits into
mainfrom
fix/23111-prose-allowlist

Commits on Nov 4, 2026
- Fix(guard,#23111): exemption du 5e faux positif artifact + renvoi catalogue Lean-31/34/34b
  
  jsboige
  and
  claude
  committed
  675f265
- Merge branch 'main' into fix/23111-prose-allowlist
  myia-po-2023
  authored
  442906a