Skip to content

Actions: Verified-zkEVM/CompPoly

Actions

Update Lean Project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update_lean_project.yml
227 workflow runs
227 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 Project Update Lean Project #227: Scheduled
2m 22s main
main
2m 22s
Update Lean Project Update Lean Project #226: Scheduled
8s main
main
8s
Update Lean Project Update Lean Project #225: Scheduled
2m 17s main
main
2m 17s
Update Lean Project Update Lean Project #224: Scheduled
2m 21s main
main
2m 21s
Update Lean Project Update Lean Project #223: Scheduled
2m 28s main
main
2m 28s
Update Lean Project Update Lean Project #222: Scheduled
2m 16s main
main
2m 16s
Update Lean Project Update Lean Project #221: Scheduled
2m 12s main
main
2m 12s
Update Lean Project Update Lean Project #220: Scheduled
2m 12s main
main
2m 12s
Update Lean Project Update Lean Project #219: Scheduled
2m 14s main
main
2m 14s
Update Lean Project Update Lean Project #218: Scheduled
9m 20s main
main
9m 20s
Update Lean Project Update Lean Project #217: Scheduled
2m 9s main
main
2m 9s
Update Lean Project Update Lean Project #216: Scheduled
2m 10s main
main
2m 10s
Update Lean Project Update Lean Project #215: Scheduled
2m 38s main
main
2m 38s
Update Lean Project Update Lean Project #214: Scheduled
2m 38s main
main
2m 38s
Update Lean Project Update Lean Project #213: Scheduled
2m 13s main
main
2m 13s
Update Lean Project Update Lean Project #212: Scheduled
2m 25s main
main
2m 25s
Update Lean Project Update Lean Project #211: Scheduled
2m 38s main
main
2m 38s
Update Lean Project Update Lean Project #210: Scheduled
1m 27s main
main
1m 27s
Update Lean Project Update Lean Project #209: Scheduled
1m 14s main
main
1m 14s
Update Lean Project Update Lean Project #208: Scheduled
1m 23s main
main
1m 23s
Update Lean Project Update Lean Project #207: Scheduled
1m 26s main
main
1m 26s
Update Lean Project Update Lean Project #206: Scheduled
1m 35s main
main
1m 35s
Update Lean Project Update Lean Project #205: Scheduled
1m 16s main
main
1m 16s
Update Lean Project Update Lean Project #204: Scheduled
1m 22s main
main
1m 22s
Update Lean Project Update Lean Project #203: Scheduled
1m 28s main
main
1m 28s