Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
412 workflow runs
412 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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: lint-status verification was checking test-status ShellCheck #345: Pull request #157 opened by kim-em
17s kim/fix-lint-status-output-check
kim/fix-lint-status-output-check
17s
fix: lint-status verification was checking test-status Functional Tests #214: Pull request #157 opened by kim-em
3m 16s kim/fix-lint-status-output-check
kim/fix-lint-status-output-check
3m 16s
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 Functional Tests #213: Pull request #156 opened by kim-em
3m 3s kim/rename-leanchecker-input
kim/rename-leanchecker-input
3m 3s
rename lean4checker input to leanchecker Actionlint #208: Pull request #156 opened by kim-em
18s kim/rename-leanchecker-input
kim/rename-leanchecker-input
18s
rename lean4checker input to leanchecker ShellCheck #344: Pull request #156 opened by kim-em
10s kim/rename-leanchecker-input
kim/rename-leanchecker-input
10s
fix: update actions/cache to v5 to resolve Node.js 20 deprecation warning Functional Tests #212: Pull request #155 opened by marcelolynch
3m 4s marcelolynch:2026/04/UpdateOldActions
marcelolynch:2026/04/UpdateOldActions
3m 4s
fix: update actions/cache to v5 to resolve Node.js 20 deprecation warning ShellCheck #343: Pull request #155 opened by marcelolynch
15s marcelolynch:2026/04/UpdateOldActions
marcelolynch:2026/04/UpdateOldActions
15s
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
fix: Set test-args input correctly and improve functional tests Functional Tests #211: Pull request #153 opened by samuelburnham
3m 17s argumentcomputer:test-args
argumentcomputer:test-args
3m 17s
fix: Set test-args input correctly and improve functional tests ShellCheck #342: Pull request #153 opened by samuelburnham
15s argumentcomputer:test-args
argumentcomputer:test-args
15s
github_actions in /. - Update #1248507602 Dependabot Updates #452: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1246906122 Dependabot Updates #451: by dependabot Bot
28s main
main
28s
github_actions in /. - Update #1245843295 Dependabot Updates #450: by dependabot Bot
22s main
main
22s
github_actions in /. - Update #1243348055 Dependabot Updates #449: by dependabot Bot
23s main
main
23s
github_actions in /. - Update #1242304467 Dependabot Updates #448: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1241125606 Dependabot Updates #447: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1239839164 Dependabot Updates #446: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1238600159 Dependabot Updates #445: by dependabot Bot
24s main
main
24s
github_actions in /. - Update #1236468452 Dependabot Updates #444: by dependabot Bot
29s main
main
29s
github_actions in /. - Update #1235364454 Dependabot Updates #443: by dependabot Bot
30s main
main
30s
github_actions in /. - Update #1233993073 Dependabot Updates #442: by dependabot Bot
37s main
main
37s
github_actions in /. - Update #1232302825 Dependabot Updates #441: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #1231161811 Dependabot Updates #440: by dependabot Bot
38s main
main
38s
github_actions in /. - Update #1227251994 Dependabot Updates #439: by dependabot Bot
35s main
main
35s