Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
468 workflow runs
468 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1190995468 Dependabot Updates #411: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1190390779 Dependabot Updates #410: by dependabot bot
32s main
main
32s
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
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 (#142) ShellCheck #319: Commit 1c29a26 pushed by austinletson
11s main
main
11s
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 ShellCheck #318: Pull request #142 opened by austinletson
11s update-functional-test-version-4-26
update-functional-test-version-4-26
11s
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: 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
github_actions in /. - Update #1189696361 Dependabot Updates #409: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1188780000 Dependabot Updates #408: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1187040194 Dependabot Updates #407: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1186100009 Dependabot Updates #406: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1186097818 Dependabot Updates #405: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1186060912 Dependabot Updates #404: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1186059542 Dependabot Updates #403: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1186046487 Dependabot Updates #402: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1185257348 Dependabot Updates #401: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1185245442 Dependabot Updates #400: by dependabot bot
40s main
main
40s
github_actions in /. - Update #1184345571 Dependabot Updates #399: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1183257219 Dependabot Updates #398: by dependabot bot
33s main
main
33s
chore(deps): bump actions/cache from 4 to 5 Functional Tests #191: Pull request #141 opened by dependabot bot
7m 36s dependabot/github_actions/actions/cache-5
dependabot/github_actions/actions/cache-5
7m 36s
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
github_actions in /. - Update #1181325662 Dependabot Updates #397: by dependabot bot
36s main
main
36s