Skip to content

Actions: leanprover/lean-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
410 workflow runs
410 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
feat: reinstall transient lean4-pr-releases toolchains (#122) ShellCheck #291: Commit e18f2df pushed by austinletson
13s main
main
13s
github_actions in /. - Update #1002160029 Dependabot Updates #209: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1001011228 Dependabot Updates #208: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1000492116 Dependabot Updates #207: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1000472086 Dependabot Updates #206: by dependabot Bot
32s main
main
32s
github_actions in /. - Update #999781649 Dependabot Updates #205: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #999174263 Dependabot Updates #204: by dependabot Bot
32s main
main
32s
github_actions in /. - Update #998419317 Dependabot Updates #203: by dependabot Bot
40s main
main
40s
feat: reinstall transient lean4-pr-releases toolchains ShellCheck #290: Pull request #122 synchronize by Vierkantor
20s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
20s
feat: reinstall transient lean4-pr-releases toolchains Functional Tests #175: Pull request #122 synchronize by Vierkantor
1m 46s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
1m 46s
feat: reinstall transient lean4-pr-releases toolchains Actionlint #169: Pull request #122 synchronize by Vierkantor
17s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
17s
github_actions in /. - Update #997184379 Dependabot Updates #202: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #996536216 Dependabot Updates #201: by dependabot Bot
37s main
main
37s
feat: reinstall transient lean4-pr-releases toolchains ShellCheck #289: Pull request #122 opened by Vierkantor
17s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
17s
feat: reinstall transient lean4-pr-releases toolchains Actionlint #168: Pull request #122 opened by Vierkantor
22s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
22s
feat: reinstall transient lean4-pr-releases toolchains Functional Tests #174: Pull request #122 opened by Vierkantor
1m 58s Vierkantor:uninstall-transient-toolchains
Vierkantor:uninstall-transient-toolchains
1m 58s
github_actions in /. - Update #995946363 Dependabot Updates #200: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #995312329 Dependabot Updates #199: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #994524431 Dependabot Updates #198: by dependabot Bot
40s main
main
40s
github_actions in /. - Update #993297848 Dependabot Updates #197: by dependabot Bot
32s main
main
32s
github_actions in /. - Update #992667803 Dependabot Updates #196: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #992058599 Dependabot Updates #195: by dependabot Bot
36s main
main
36s
github_actions in /. - Update #991281990 Dependabot Updates #194: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #989996913 Dependabot Updates #193: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #988662663 Dependabot Updates #192: by dependabot Bot
37s main
main
37s
ProTip! You can narrow down the results and go further in time using created:<2025-03-28 or the other filters available.