Skip to content

fix(lean-scripts): rendre run_lean9_demos.py compilable (queue orpheline apres un ], premature) - #15945

Closed
jsboige wants to merge 1 commit into
mainfrom
fix/lean9-demos-orphan-tail
Closed

fix(lean-scripts): rendre run_lean9_demos.py compilable (queue orpheline apres un ], premature)#15945
jsboige wants to merge 1 commit into
mainfrom
fix/lean9-demos-orphan-tail

fix(lean-scripts): retirer la queue orpheline qui empeche run_lean9_d…

31c1a4b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar