Skip to content

Actions: leanprover/lean-action

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
40 workflow runs
40 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 Actionlint #215: Pull request #164 opened by Garmelon
25s fix-shebang
fix-shebang
25s
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 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 Actionlint #212: Pull request #146 synchronize by kim-em
11s feat/parallel-with-nanoda
feat/parallel-with-nanoda
11s
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
rename lean4checker input to leanchecker (#156) Actionlint #210: Commit 844b330 pushed by kim-em
11s main
main
11s
fix: lint-status verification was checking test-status Actionlint #209: Pull request #157 opened by kim-em
15s kim/fix-lint-status-output-check
kim/fix-lint-status-output-check
15s
rename lean4checker input to leanchecker Actionlint #208: Pull request #156 opened by kim-em
18s kim/rename-leanchecker-input
kim/rename-leanchecker-input
18s
fix: Set test-args input correctly and improve functional tests Actionlint #207: Pull request #153 opened by samuelburnham
15s argumentcomputer:test-args
argumentcomputer:test-args
15s
feat: add nanoda external type checker support Actionlint #206: Pull request #145 synchronize by kim-em
17s kim-em:feat-nanoda
kim-em:feat-nanoda
17s
feat: add nanoda external type checker support Actionlint #205: Pull request #145 synchronize by kim-em
9s kim-em:feat-nanoda
kim-em:feat-nanoda
9s
feat: add nanoda external type checker support Actionlint #204: Pull request #145 synchronize by kim-em
11s kim-em:feat-nanoda
kim-em:feat-nanoda
11s
feat: add nanoda external type checker support Actionlint #203: Pull request #145 synchronize by kim-em
13s kim-em:feat-nanoda
kim-em:feat-nanoda
13s
feat: add nanoda external type checker support Actionlint #202: Pull request #145 synchronize by kim-em
10s kim-em:feat-nanoda
kim-em:feat-nanoda
10s
feat: add nanoda external type checker support Actionlint #201: Pull request #145 synchronize by kim-em
14s kim-em:feat-nanoda
kim-em:feat-nanoda
14s
test: add functional test for lean4checker in subdirectory (#138) Actionlint #194: Commit 65f454b pushed by austinletson
18s main
main
18s
feat: add parallel workflow with nanoda support Actionlint #193: Pull request #146 opened by kim-em
19s feat/parallel-with-nanoda
feat/parallel-with-nanoda
19s
feat: add nanoda external type checker support Actionlint #192: Pull request #145 synchronize by kim-em
14s kim-em:feat-nanoda
kim-em:feat-nanoda
14s
feat: add nanoda external type checker support Actionlint #191: Pull request #145 opened by kim-em
13s kim-em:feat-nanoda
kim-em:feat-nanoda
13s
feat: add parallel reusable workflow for faster CI Actionlint #190: Pull request #144 opened by kim-em
14s feat/parallel-workflow
feat/parallel-workflow
14s
chore: udpate functional test version to 4.26 (#142) Actionlint #189: Commit 1c29a26 pushed by austinletson
14s main
main
14s
chore: udpate functional test version to 4.26 Actionlint #188: Pull request #142 opened by austinletson
14s update-functional-test-version-4-26
update-functional-test-version-4-26
14s
chore(deps): bump actions/checkout from 5 to 6 Actionlint #187: Pull request #139 opened by dependabot Bot
17s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
17s
test: add functional test for lean4checker in subdirectory Actionlint #186: Pull request #138 synchronize by austinletson
16s leanrchecker-in-subdir
leanrchecker-in-subdir
16s
test: add functional test for lean4checker in subdirectory Actionlint #185: Pull request #138 opened by austinletson
23s leanrchecker-in-subdir
leanrchecker-in-subdir
23s