Skip to content

Actions: leanprover/lean-action

Actions

ShellCheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shellcheck.yml
197 workflow runs
197 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
feat: add use-github-cache input ShellCheck #97: Pull request #44 synchronize by austinletson
May 23, 2024 11:33 15s 38-add-an-option-to-disable-github-caching
38-add-an-option-to-disable-github-caching
May 23, 2024 11:33 15s
feat: add use-github-cache input ShellCheck #96: Pull request #44 opened by austinletson
May 22, 2024 23:42 15s 38-add-an-option-to-disable-github-caching
38-add-an-option-to-disable-github-caching
May 22, 2024 23:42 15s
fix: rename misleading functional tests job (#43) ShellCheck #95: Commit 3eaf5b6 pushed by austinletson
May 22, 2024 22:21 20s main
main
May 22, 2024 22:21 20s
fix: remove misleading .toml error message in mathlib detection (#42) ShellCheck #94: Commit ebea0bc pushed by austinletson
May 22, 2024 22:21 18s main
main
May 22, 2024 22:21 18s
fix: rename misleading functional tests job ShellCheck #93: Pull request #43 opened by austinletson
May 22, 2024 22:17 15s rename-functional-tests-job
rename-functional-tests-job
May 22, 2024 22:17 15s
fix: remove misleading .toml error message in mathlib detection ShellCheck #92: Pull request #42 opened by austinletson
May 22, 2024 22:13 14s 40-mathlib-detection-prints-unnecessary-error-when-lakefiletoml-not-present
40-mathlib-detection-prints-unnecessary-error-when-lakefiletoml-not-present
May 22, 2024 22:13 14s
feat: add white space after each step ShellCheck #91: Pull request #41 synchronize by austinletson
May 22, 2024 13:04 15s add-white-space-to-logs
add-white-space-to-logs
May 22, 2024 13:04 15s
feat: add white space after each step ShellCheck #90: Pull request #41 opened by austinletson
May 22, 2024 12:55 21s add-white-space-to-logs
add-white-space-to-logs
May 22, 2024 12:55 21s
feat: add lake check-test check before running lake test (#31) ShellCheck #89: Commit 355c18c pushed by austinletson
May 22, 2024 12:52 14s main
main
May 22, 2024 12:52 14s
docs: release notes for v1-beta (#39) ShellCheck #88: Commit 256d572 pushed by austinletson
May 21, 2024 21:02 15s main
main
May 21, 2024 21:02 15s
docs: release notes for v1-beta ShellCheck #87: Pull request #39 opened by austinletson
May 21, 2024 13:01 21m 23s update-readme-and-changelog-for-v1-beta
update-readme-and-changelog-for-v1-beta
May 21, 2024 13:01 21m 23s
feat: add lake check-test check before running lake test ShellCheck #86: Pull request #31 synchronize by austinletson
May 21, 2024 11:20 19s 26-use-lake-check-test-to-detect-absence-of-a-test-runner
26-use-lake-check-test-to-detect-absence-of-a-test-runner
May 21, 2024 11:20 19s
test: add workflow to run basic functional tests (#35) ShellCheck #85: Commit 36ca152 pushed by austinletson
May 21, 2024 11:17 20s main
main
May 21, 2024 11:17 20s
format: fix yaml formatting in README.md (#36) ShellCheck #84: Commit 94e4fdb pushed by austinletson
May 20, 2024 23:28 20s main
main
May 20, 2024 23:28 20s
format: fix yaml formatting in README.md ShellCheck #83: Pull request #36 opened by austinletson
May 20, 2024 23:27 17s fix-yaml-formatting-in-readme-md
fix-yaml-formatting-in-readme-md
May 20, 2024 23:27 17s
test: add workflow to run basic functional tests ShellCheck #82: Pull request #35 synchronize by austinletson
May 20, 2024 23:21 17s create-test-directories
create-test-directories
May 20, 2024 23:21 17s
test: add workflow to run basic functional tests ShellCheck #81: Pull request #35 synchronize by austinletson
May 20, 2024 23:19 14s create-test-directories
create-test-directories
May 20, 2024 23:19 14s
test: add workflow to run basic functional tests ShellCheck #80: Pull request #35 synchronize by austinletson
May 20, 2024 23:18 15s create-test-directories
create-test-directories
May 20, 2024 23:18 15s
test: add workflow to run basic functional tests ShellCheck #79: Pull request #35 synchronize by austinletson
May 20, 2024 23:16 15s create-test-directories
create-test-directories
May 20, 2024 23:16 15s
test: add workflow to run basic functional tests ShellCheck #78: Pull request #35 synchronize by austinletson
May 20, 2024 23:15 17s create-test-directories
create-test-directories
May 20, 2024 23:15 17s
test: add workflow to run basic functional tests ShellCheck #77: Pull request #35 synchronize by austinletson
May 20, 2024 23:12 22s create-test-directories
create-test-directories
May 20, 2024 23:12 22s
test: add workflow to run basic functional tests ShellCheck #76: Pull request #35 synchronize by austinletson
May 20, 2024 23:11 31s create-test-directories
create-test-directories
May 20, 2024 23:11 31s
test: add workflow to run basic functional tests ShellCheck #75: Pull request #35 synchronize by austinletson
May 20, 2024 23:02 19s create-test-directories
create-test-directories
May 20, 2024 23:02 19s
test: add workflow to run basic functional tests ShellCheck #74: Pull request #35 synchronize by austinletson
May 20, 2024 22:59 28s create-test-directories
create-test-directories
May 20, 2024 22:59 28s
test: add workflow to run basic functional tests ShellCheck #73: Pull request #35 synchronize by austinletson
May 20, 2024 22:56 15s create-test-directories
create-test-directories
May 20, 2024 22:56 15s