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

Merged

jamesadevine merged 8 commits intomainfrom

feat/awf-mounts-lean-runtime

Apr 29, 2026

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