Fix _to_commit_hash compatibility fallback#1

Open

aumrp77 wants to merge 6 commits intoThrunGroup:mainfrom

aumrp77:aum/fixes

Commits on Oct 24, 2025

Fix _to_commit_hash compatibility fallback
aumrp77
committed

Commits on Oct 28, 2025

Patch LeanDojo tracing and repo handling for LeanAgent pipeline
aumrp77
committed

Commits on Oct 29, 2025

Skip tracing when artifacts already present
aumrp77
committed

Commits on Nov 4, 2025

Ensure ExtractData available per trace run
aumrp77
committed

Commits on Nov 6, 2025

Patch macOS dylib handling and lean-toolchain parser
aumrp77
committed

Commits on Nov 18, 2025

Update tracing workflow (Docker + build_deps)
aumrp77
committed