Skip to content

Actions: leanprover/lean-action

Actions

Functional Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
functional_tests.yml
41 workflow runs
41 workflow runs

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: 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
Functional Tests Functional Tests #221: Manually run by austinletson
2m 24s release/v1.5.0
release/v1.5.0
2m 24s
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 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
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
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
fix: lint-status verification was checking test-status Functional Tests #214: Pull request #157 opened by kim-em
3m 16s kim/fix-lint-status-output-check
kim/fix-lint-status-output-check
3m 16s
rename lean4checker input to leanchecker Functional Tests #213: Pull request #156 opened by kim-em
3m 3s kim/rename-leanchecker-input
kim/rename-leanchecker-input
3m 3s
fix: update actions/cache to v5 to resolve Node.js 20 deprecation warning Functional Tests #212: Pull request #155 opened by marcelolynch
3m 4s marcelolynch:2026/04/UpdateOldActions
marcelolynch:2026/04/UpdateOldActions
3m 4s
fix: Set test-args input correctly and improve functional tests Functional Tests #211: Pull request #153 opened by samuelburnham
3m 17s argumentcomputer:test-args
argumentcomputer:test-args
3m 17s
feat: add nanoda external type checker support Functional Tests #209: Pull request #145 synchronize by kim-em
3m 12s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 12s
feat: add nanoda external type checker support Functional Tests #208: Pull request #145 synchronize by kim-em
3m 32s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 32s
feat: add nanoda external type checker support Functional Tests #207: Pull request #145 synchronize by kim-em
6m 47s kim-em:feat-nanoda
kim-em:feat-nanoda
6m 47s
feat: add nanoda external type checker support Functional Tests #206: Pull request #145 synchronize by kim-em
3m 25s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 25s
feat: add nanoda external type checker support Functional Tests #205: Pull request #145 synchronize by kim-em
3m 9s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 9s
feat: add nanoda external type checker support Functional Tests #204: Pull request #145 synchronize by kim-em
3m 18s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 18s
Functional Tests Functional Tests #197: Manually run by austinletson
4m 15s release/v1.4.0
release/v1.4.0
4m 15s
feat: add parallel workflow with nanoda support Functional Tests #196: Pull request #146 opened by kim-em
7m 33s feat/parallel-with-nanoda
feat/parallel-with-nanoda
7m 33s
feat: add nanoda external type checker support Functional Tests #195: Pull request #145 synchronize by kim-em
3m 15s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 15s
feat: add nanoda external type checker support Functional Tests #194: Pull request #145 opened by kim-em
3m 35s kim-em:feat-nanoda
kim-em:feat-nanoda
3m 35s
fix: fail lean-action if any command in install_elan.sh fails Functional Tests #193: Pull request #143 opened by austinletson
3m 37s fix-elan-failure-should-cause-lean-action-to-fail
fix-elan-failure-should-cause-lean-action-to-fail
3m 37s
chore: udpate functional test version to 4.26 Functional Tests #192: Pull request #142 opened by austinletson
3m 9s update-functional-test-version-4-26
update-functional-test-version-4-26
3m 9s