Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 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
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
feat: add nanoda external type checker support Functional Tests #218: Pull request #145 synchronize by kim-em
3m 8s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 8s
feat: add nanoda external type checker support Actionlint #211: Pull request #145 synchronize by kim-em
8s kim-em:feat-nanoda
kim-em:feat-nanoda
8s
feat: add nanoda external type checker support ShellCheck #351: Pull request #145 synchronize by kim-em
10s kim-em:feat-nanoda
kim-em:feat-nanoda
10s
fix: update actions/cache to v5 to resolve Node.js 20 deprecation war… ShellCheck #350: Commit 5df9cab pushed by austinletson
12s main
main
12s
chore: fix typo (#158) ShellCheck #349: Commit 897fc7a pushed by austinletson
13s main
main
13s
fix: use lake test if test.sh is missing from lean4checker Functional Tests #217: Pull request #160 opened by austinletson
3m 6s lean4checker-4-27-lake-test-fix
lean4checker-4-27-lake-test-fix
3m 6s
fix: use lake test if test.sh is missing from lean4checker ShellCheck #348: Pull request #160 opened by austinletson
10s lean4checker-4-27-lake-test-fix
lean4checker-4-27-lake-test-fix
10s
Functional Tests Functional Tests #216: Manually run by austinletson
3m 7s lean4checker-4-27-lake-test-fix
lean4checker-4-27-lake-test-fix
3m 7s
Functional Tests Functional Tests #215: Manually run by austinletson
3m 16s main
main
3m 16s
rename lean4checker input to leanchecker (#156) ShellCheck #347: Commit 844b330 pushed by kim-em
13s main
main
13s
rename lean4checker input to leanchecker (#156) Actionlint #210: Commit 844b330 pushed by kim-em
11s main
main
11s