Skip to content

Actions: argumentcomputer/lean4ix

Actions

Update Lean toolchain and pinned deps

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update.yml
38 workflow runs
38 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 #38: Scheduled
58s main
main
58s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #37: Scheduled
58s main
main
58s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #36: Scheduled
57s main
main
57s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #35: Scheduled
54s main
main
54s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #34: Scheduled
51s main
main
51s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #33: Scheduled
1m 0s main
main
1m 0s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #32: Scheduled
1m 9s main
main
1m 9s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #31: Scheduled
46s main
main
46s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #30: Scheduled
59s main
main
59s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #29: Scheduled
1m 2s main
main
1m 2s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #28: Scheduled
1m 6s main
main
1m 6s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #27: Scheduled
54s main
main
54s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #26: Scheduled
1m 1s main
main
1m 1s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #25: Scheduled
49s main
main
49s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #24: Scheduled
1m 9s main
main
1m 9s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #23: Scheduled
58s main
main
58s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #22: Scheduled
52s main
main
52s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #21: Scheduled
40s main
main
40s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #20: Scheduled
33s main
main
33s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #19: Scheduled
38s main
main
38s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #18: Scheduled
1m 11s main
main
1m 11s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #17: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #16: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #15: Scheduled
37s main
main
37s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #14: Scheduled
36s main
main
36s