feat(compile): add awf_path_prepends for chroot PATH injection#358

Closed

jamesadevine wants to merge 9 commits into

mainfrom

feat/awf-mounts-lean-runtime

Commits on Apr 29, 2026

feat(compile): add required_awf_mounts to CompilerExtension for Lean runtime

jamesadevine
and
Copilot
committed
fix(runtimes): remove symlinks from lean install script

Copilot
and
jamesadevine
authored
chore: remove accidentally committed file

jamesadevine
and
Copilot
committed
feat(compile): formalize AwfMount struct, fix mount line placement, remove from detection job

Copilot
and
jamesadevine
authored
feat(compile): replace AwfMount mode string with AwfMountMode enum

Copilot
and
jamesadevine
authored
refactor(compile): remove indent parameter from generate_awf_mounts

jamesadevine
and
Copilot
committed
refactor(compile): make AwfMount.mode non-optional

jamesadevine
and
Copilot
committed
fix(docs): remove stale symlink reference from runtimes.md, add parse test

jamesadevine
and
Copilot
committed
feat(compile): add awf_path_prepends to CompilerExtension for chroot PATH injection

jamesadevine
and
Copilot
committed