Skip to content

Actions: opencompl/lean-mlir

Actions

Garbage collect elan toolchains

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
elan-gc.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Garbage collect elan toolchains Garbage collect elan toolchains #28: Scheduled
48s main
main
48s
Garbage collect elan toolchains Garbage collect elan toolchains #27: Scheduled
2m 7s main
main
2m 7s
Garbage collect elan toolchains Garbage collect elan toolchains #26: Scheduled
22s main
main
22s
Garbage collect elan toolchains Garbage collect elan toolchains #25: Scheduled
2m 9s main
main
2m 9s
Garbage collect elan toolchains Garbage collect elan toolchains #24: Scheduled
8s main
main
8s
Garbage collect elan toolchains Garbage collect elan toolchains #23: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #22: Scheduled
6s main
main
6s
Garbage collect elan toolchains Garbage collect elan toolchains #21: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #20: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #19: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #18: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #17: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #16: Scheduled
6s main
main
6s
Garbage collect elan toolchains Garbage collect elan toolchains #15: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #14: Scheduled
8s main
main
8s
Garbage collect elan toolchains Garbage collect elan toolchains #13: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #12: Scheduled
6s main
main
6s
Garbage collect elan toolchains Garbage collect elan toolchains #11: Scheduled
6s main
main
6s
Garbage collect elan toolchains Garbage collect elan toolchains #10: Scheduled
7s main
main
7s
Garbage collect elan toolchains Garbage collect elan toolchains #9: Scheduled
8s main
main
8s
Garbage collect elan toolchains Garbage collect elan toolchains #8: Scheduled
1d 0h 0m 1s main
main
1d 0h 0m 1s
Garbage collect elan toolchains Garbage collect elan toolchains #7: Scheduled
14m 26s main
main
14m 26s
Garbage collect elan toolchains Garbage collect elan toolchains #6: Scheduled
12s main
main
12s
Garbage collect elan toolchains Garbage collect elan toolchains #5: Scheduled
8s main
main
8s
Garbage collect elan toolchains Garbage collect elan toolchains #4: Scheduled
8s main
main
8s