Skip to content

fix(lean,#19581): Serre100/01 raw-strings suppriment les SyntaxWarning Python 3.12+ - #19628

Merged
myia-ai-01 merged 7 commits into
mainfrom
fix/19581-syntaxwarning-raw-strings
Oct 8, 2026
Merged

myia-ai-01 merged 7 commits into
mainfrom
fix/19581-syntaxwarning-raw-strings

Commits

  1. Commits on Oct 7, 2026