Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
350 workflow runs
350 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: include lake-package-directory in cache key hashes Functional Tests #226: Pull request #167 opened by b-mehta
3m 8s b-mehta:fix/cache-key-package-directory
b-mehta:fix/cache-key-package-directory
3m 8s
fix: include lake-package-directory in cache key hashes ShellCheck #362: Pull request #167 opened by b-mehta
12s b-mehta:fix/cache-key-package-directory
b-mehta:fix/cache-key-package-directory
12s
feat: add opt-in axiom-audit check ShellCheck #361: Pull request #166 synchronize by kim-em
14s axiom-audit
axiom-audit
14s
feat: add opt-in axiom-audit check Actionlint #217: Pull request #166 synchronize by kim-em
15s axiom-audit
axiom-audit
15s
feat: add opt-in axiom-audit check Functional Tests #225: Pull request #166 synchronize by kim-em
3m 36s axiom-audit
axiom-audit
3m 36s
feat: add opt-in axiom-audit check Actionlint #216: Pull request #166 opened by kim-em
16s axiom-audit
axiom-audit
16s
feat: add opt-in axiom-audit check Functional Tests #224: Pull request #166 opened by kim-em
3m 9s axiom-audit
axiom-audit
3m 9s
feat: add opt-in axiom-audit check ShellCheck #360: Pull request #166 opened by kim-em
13s axiom-audit
axiom-audit
13s
fix: use a more portable shebang Actionlint #215: Pull request #164 opened by Garmelon
25s fix-shebang
fix-shebang
25s
fix: use a more portable shebang ShellCheck #359: Pull request #164 opened by Garmelon
13s fix-shebang
fix-shebang
13s
fix: use a more portable shebang Functional Tests #223: Pull request #164 opened by Garmelon
5m 20s fix-shebang
fix-shebang
5m 20s
feat: add leanchecker-args input Functional Tests #222: Pull request #162 opened by kim-em
9m 58s kim-em:leanchecker-args
kim-em:leanchecker-args
9m 58s
feat: add leanchecker-args input ShellCheck #358: Pull request #162 opened by kim-em
12s kim-em:leanchecker-args
kim-em:leanchecker-args
12s
chore: update CHANGELOG.md (#161) ShellCheck #357: Commit 6fe4ae6 pushed by austinletson
14s main
main
14s
chore: update CHANGELOG.md ShellCheck #356: Pull request #161 opened by austinletson
11s update-changelog-1-5-0
update-changelog-1-5-0
11s
Functional Tests Functional Tests #221: Manually run by austinletson
2m 24s release/v1.5.0
release/v1.5.0
2m 24s
fix: use lake test if test.sh is missing from lean4checker (#160) ShellCheck #355: Commit 38fbc41 pushed by austinletson
16s main
main
16s
feat: add nanoda external type checker support (#145) ShellCheck #354: Commit 1831970 pushed by kim-em
10s main
main
10s
feat: add nanoda external type checker support (#145) Actionlint #214: Commit 1831970 pushed by kim-em
10s main
main
10s
feat: add parallel workflow with nanoda support ShellCheck #353: Pull request #146 synchronize by kim-em
8s feat/parallel-with-nanoda
feat/parallel-with-nanoda
8s
feat: add parallel workflow with nanoda support Functional Tests #220: Pull request #146 synchronize by kim-em
12m 45s feat/parallel-with-nanoda
feat/parallel-with-nanoda
12m 45s
feat: add parallel workflow with nanoda support Actionlint #213: Pull request #146 synchronize by kim-em
14s feat/parallel-with-nanoda
feat/parallel-with-nanoda
14s
feat: add parallel workflow with nanoda support ShellCheck #352: Pull request #146 synchronize by kim-em
13s feat/parallel-with-nanoda
feat/parallel-with-nanoda
13s
feat: add parallel workflow with nanoda support Actionlint #212: Pull request #146 synchronize by kim-em
11s feat/parallel-with-nanoda
feat/parallel-with-nanoda
11s
feat: add parallel workflow with nanoda support Functional Tests #219: Pull request #146 synchronize by kim-em
5m 58s feat/parallel-with-nanoda
feat/parallel-with-nanoda
5m 58s