Skip to content

Actions: leanprover/lean-action

Actions

ShellCheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shellcheck.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add parallel workflow with nanoda support ShellCheck #325: Pull request #146 opened by kim-em
11s feat/parallel-with-nanoda
feat/parallel-with-nanoda
11s
feat: add nanoda external type checker support ShellCheck #324: Pull request #145 synchronize by kim-em
13s kim-em:feat-nanoda
kim-em:feat-nanoda
13s
feat: add nanoda external type checker support ShellCheck #323: Pull request #145 opened by kim-em
12s kim-em:feat-nanoda
kim-em:feat-nanoda
12s
feat: add parallel reusable workflow for faster CI ShellCheck #322: Pull request #144 opened by kim-em
14s feat/parallel-workflow
feat/parallel-workflow
14s
fix: fail lean-action if any command in install_elan.sh fails (#143) ShellCheck #321: Commit c544e89 pushed by austinletson
12s main
main
12s
fix: fail lean-action if any command in install_elan.sh fails ShellCheck #320: Pull request #143 opened by austinletson
10s fix-elan-failure-should-cause-lean-action-to-fail
fix-elan-failure-should-cause-lean-action-to-fail
10s
chore: udpate functional test version to 4.26 (#142) ShellCheck #319: Commit 1c29a26 pushed by austinletson
11s main
main
11s
chore: udpate functional test version to 4.26 ShellCheck #318: Pull request #142 opened by austinletson
11s update-functional-test-version-4-26
update-functional-test-version-4-26
11s
chore(deps): bump actions/cache from 4 to 5 ShellCheck #317: Pull request #141 opened by dependabot bot
25s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
25s
chore(deps): bump actions/checkout from 5 to 6 ShellCheck #316: Pull request #139 opened by dependabot bot
14s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
14s
test: add functional test for lean4checker in subdirectory ShellCheck #315: Pull request #138 synchronize by austinletson
21s leanrchecker-in-subdir
leanrchecker-in-subdir
21s
test: add functional test for lean4checker in subdirectory ShellCheck #314: Pull request #138 opened by austinletson
21s leanrchecker-in-subdir
leanrchecker-in-subdir
21s
chore(deps): bump actions/checkout from 4 to 5 (#136) ShellCheck #313: Commit 256a31c pushed by austinletson
10s main
main
10s
chore(deps): bump actions/checkout from 4 to 5 ShellCheck #312: Pull request #136 opened by dependabot bot
14s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
14s
feat: add a test-args configuration input (#135) ShellCheck #311: Commit 2b2240f pushed by austinletson
13s main
main
13s
Add a test-args configuration input ShellCheck #310: Pull request #135 synchronize by chenson2018
13s chenson2018:test-args
chenson2018:test-args
13s
Add a test-args configuration input ShellCheck #308: Pull request #135 synchronize by chenson2018
13s chenson2018:test-args
chenson2018:test-args
13s
Add a test-args configuration input ShellCheck #307: Pull request #135 synchronize by chenson2018
16s chenson2018:test-args
chenson2018:test-args
16s
chore: update functional test version to Lean v4.21.0 (#133) ShellCheck #305: Commit 43c3309 pushed by austinletson
15s main
main
15s
chore: update functional test version to Lean v4.21.0 ShellCheck #304: Pull request #133 opened by austinletson
13s update-functional-test-version-4-21
update-functional-test-version-4-21
13s
doc: update CHANGELOG.md for v1.3.0 (#132) ShellCheck #303: Commit 3abf429 pushed by austinletson
10s main
main
10s
doc: update CHANGELOG.md for v1.3.0 ShellCheck #302: Pull request #132 opened by austinletson
19s change-log-for-v1.3.0
change-log-for-v1.3.0
19s
Update README.md with mk_all (#130) ShellCheck #301: Commit 434f25c pushed by austinletson
12s main
main
12s
Update README.md with mk_all ShellCheck #300: Pull request #130 opened by b-mehta
14s b-mehta:patch-1
b-mehta:patch-1
14s
feat: option for running lake exe mk_all --check (#129) ShellCheck #299: Commit 0bfe8c2 pushed by austinletson
19s main
main
19s