fix(lean,#19480): errors='replace' on subprocess.run utf-8 across 5 Lean notebooks - #19489

fix(lean,#19480): errors='replace' on subprocess.run utf-8 across 5 Lean notebooks#19489

jsboige merged 3 commits into

mainjsboige/CoursIA:mainfrom

fix/19480-lean-encoding-replacejsboige/CoursIA:fix/19480-lean-encoding-replaceCopy head branch name to clipboard