Skip to content

Port Python CI test scripts to in-process Lean tests#5

Draft
joehendrix wants to merge 3 commits into
mainfrom
jhx/lean-ci
Draft

Port Python CI test scripts to in-process Lean tests#5
joehendrix wants to merge 3 commits into
mainfrom
jhx/lean-ci

Remove standalone Script exes with no remaining caller

6bb4618
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Jun 24, 2026 in 38s