fix(runtimes): rely on AWF_HOST_PATH for Lean toolchain discovery#350
Closed
Copilot wants to merge 2 commits into
Closed
fix(runtimes): rely on AWF_HOST_PATH for Lean toolchain discovery#350Copilot wants to merge 2 commits into
Copilot wants to merge 2 commits into
