Skip to content

Actions: leanprover/lean-action

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: fix release template typo Actionlint #113: Pull request #87 opened by austinletson
August 18, 2024 11:42 14s fix-release-template-typo
fix-release-template-typo
August 18, 2024 11:42 14s
feat: switch elan installation method from tar -> elan-init.sh Actionlint #112: Pull request #84 synchronize by austinletson
August 18, 2024 11:35 15s use-elan-install-script
use-elan-install-script
August 18, 2024 11:35 15s
feat: switch elan installation method from tar -> elan-init.sh Actionlint #111: Pull request #84 synchronize by austinletson
August 18, 2024 11:33 16s use-elan-install-script
use-elan-install-script
August 18, 2024 11:33 16s
feat: switch elan installation method from tar -> elan-init.sh Actionlint #110: Pull request #84 opened by austinletson
August 14, 2024 13:17 27s use-elan-install-script
use-elan-install-script
August 14, 2024 13:17 27s
feat: bump functional_tests.yml default version to 4.10.0 (#81) Actionlint #109: Commit e676094 pushed by austinletson
August 2, 2024 12:05 22s main
main
August 2, 2024 12:05 22s
feat: bump functional_tests.yml default version to 4.10.0 Actionlint #108: Pull request #81 opened by austinletson
August 2, 2024 00:28 18s bump-functional-tests-lean-version-to-4.10.0
bump-functional-tests-lean-version-to-4.10.0
August 2, 2024 00:28 18s
doc: update CHANGELOG.md and README.md for v1.0.0 (#80) Actionlint #107: Commit 1d2649f pushed by austinletson
July 20, 2024 12:09 17s main
main
July 20, 2024 12:09 17s
doc: update CHANGELOG.md and README.md for v1.0.0 Actionlint #106: Pull request #80 opened by austinletson
July 20, 2024 12:09 15s change-log-for-v1
change-log-for-v1
July 20, 2024 12:09 15s
feat: add lint input to control the lake lint step (#73) Actionlint #105: Commit b7cdeeb pushed by austinletson
July 19, 2024 12:05 15s main
main
July 19, 2024 12:05 15s
feat: add lint input to control the lake lint step Actionlint #104: Pull request #73 synchronize by austinletson
July 17, 2024 11:30 20s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 17, 2024 11:30 20s
feat: add lint input to control the lake lint step Actionlint #103: Pull request #73 synchronize by austinletson
July 17, 2024 11:28 17s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 17, 2024 11:28 17s
doc: update RELEASE.md and create release issue template (#78) Actionlint #102: Commit a7937f1 pushed by austinletson
July 17, 2024 11:23 16s main
main
July 17, 2024 11:23 16s
doc: update RELEASE.md and create release issue template Actionlint #101: Pull request #78 synchronize by austinletson
July 17, 2024 11:22 14s 68-update-releasingmd-based-on-improvements-to-release-process
68-update-releasingmd-based-on-improvements-to-release-process
July 17, 2024 11:22 14s
doc: update RELEASE.md and create release issue template Actionlint #100: Pull request #78 opened by austinletson
July 17, 2024 11:20 14s 68-update-releasingmd-based-on-improvements-to-release-process
68-update-releasingmd-based-on-improvements-to-release-process
July 17, 2024 11:20 14s
feat: add lint input to control the lake lint step Actionlint #99: Pull request #73 synchronize by austinletson
July 15, 2024 13:40 18s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 15, 2024 13:40 18s
fix: use input instead of hardcoded toolchain in auto-config tests (#77) Actionlint #98: Commit bdc86e7 pushed by austinletson
July 15, 2024 13:37 16s main
main
July 15, 2024 13:37 16s
fix: use input instead of hardcoded toolchain in auto-config tests Actionlint #97: Pull request #77 opened by austinletson
July 15, 2024 13:34 20s fix-lean-toolchain-in-auto-config-tests
fix-lean-toolchain-in-auto-config-tests
July 15, 2024 13:34 20s
chore(deps): bump raven-actions/actionlint from 1 to 2 (#76) Actionlint #96: Commit b3427eb pushed by austinletson
July 13, 2024 22:49 13s main
main
July 13, 2024 22:49 13s
chore(deps): bump raven-actions/actionlint from 1 to 2 Actionlint #95: Pull request #76 opened by dependabot bot
July 12, 2024 18:39 19s dependabot/github_actions/raven-actions/actionlint-2
dependabot/github_actions/raven-actions/actionlint-2
July 12, 2024 18:39 19s
feat: add lint input to control the lake lint step Actionlint #94: Pull request #73 synchronize by austinletson
July 11, 2024 11:42 17s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 11, 2024 11:42 17s
feat: add lint input to control the lake lint step Actionlint #93: Pull request #73 synchronize by austinletson
July 11, 2024 11:38 12s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 11, 2024 11:38 12s
feat: add auto-config and build inputs. (#61) Actionlint #92: Commit df9ad20 pushed by austinletson
July 11, 2024 11:23 18s main
main
July 11, 2024 11:23 18s
feat: add lint input to control the lake lint step Actionlint #91: Pull request #73 opened by austinletson
July 7, 2024 15:22 18s 46-update-the-lint-step-to-use-the-more-flexible-lake-lint
46-update-the-lint-step-to-use-the-more-flexible-lake-lint
July 7, 2024 15:22 18s
feat: add auto-config and build inputs. Actionlint #90: Pull request #61 synchronize by austinletson
July 7, 2024 15:20 22s 60-create-auto-config-input
60-create-auto-config-input
July 7, 2024 15:20 22s
chore: bump functional tests default Lean version to 4.9.0 (#72) Actionlint #89: Commit de3e024 pushed by austinletson
July 7, 2024 15:19 2m 28s main
main
July 7, 2024 15:19 2m 28s