Skip to content

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

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

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

Triggered via pull request April 29, 2026 13:54
Status Success
Total duration 7s
Artifacts

pr-title-lint.yml

on: pull_request
Validate Conventional Commit
2s
Validate Conventional Commit
Fit to window
Zoom out
Zoom in