Skip to content
PR Title Lint

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate Conventional Commit
2s
2s