Skip to content

Actions: argumentcomputer/lean4lean

Actions

Update Lean toolchain and pinned deps

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update.yml
40 workflow runs
40 workflow runs

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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #40: Scheduled
1m 15s dev
dev
1m 15s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #39: Scheduled
1m 0s dev
dev
1m 0s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #38: Scheduled
1m 8s dev
dev
1m 8s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #37: Scheduled
50s dev
dev
50s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #36: Scheduled
1m 3s dev
dev
1m 3s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #35: Scheduled
55s dev
dev
55s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #34: Scheduled
1m 8s dev
dev
1m 8s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #33: Scheduled
45s dev
dev
45s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #32: Scheduled
55s dev
dev
55s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #31: Scheduled
1m 2s dev
dev
1m 2s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #30: Scheduled
59s dev
dev
59s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #29: Scheduled
1m 3s dev
dev
1m 3s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #28: Scheduled
51s dev
dev
51s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #27: Scheduled
49s dev
dev
49s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #26: Scheduled
55s dev
dev
55s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #25: Scheduled
56s dev
dev
56s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #24: Scheduled
1m 12s dev
dev
1m 12s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #23: Scheduled
42s dev
dev
42s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #22: Scheduled
42s dev
dev
42s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #21: Scheduled
34s dev
dev
34s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #20: Scheduled
40s dev
dev
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #19: Scheduled
36s dev
dev
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #18: Scheduled
37s dev
dev
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #17: Scheduled
35s dev
dev
35s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #16: Scheduled
38s dev
dev
38s