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
250 workflow runs
250 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 #250: Scheduled
2m 11s main
main
2m 11s
Update Lean Project Update Lean Project #249: Scheduled
2m 27s main
main
2m 27s
Update Lean Project Update Lean Project #248: Scheduled
2m 22s main
main
2m 22s
Update Lean Project Update Lean Project #247: Scheduled
2m 14s main
main
2m 14s
Update Lean Project Update Lean Project #246: Scheduled
2m 29s main
main
2m 29s
Update Lean Project Update Lean Project #245: Scheduled
2m 23s main
main
2m 23s
Update Lean Project Update Lean Project #244: Scheduled
2m 12s main
main
2m 12s
Update Lean Project Update Lean Project #243: Scheduled
2m 33s main
main
2m 33s
Update Lean Project Update Lean Project #242: Scheduled
2m 15s main
main
2m 15s
Update Lean Project Update Lean Project #241: Scheduled
2m 16s main
main
2m 16s
Update Lean Project Update Lean Project #240: Scheduled
2m 31s main
main
2m 31s
Update Lean Project Update Lean Project #239: Scheduled
2m 8s main
main
2m 8s
Update Lean Project Update Lean Project #238: Scheduled
2m 28s main
main
2m 28s
Update Lean Project Update Lean Project #237: Scheduled
2m 19s main
main
2m 19s
Update Lean Project Update Lean Project #236: Scheduled
2m 16s main
main
2m 16s
Update Lean Project Update Lean Project #235: Scheduled
2m 9s main
main
2m 9s
Update Lean Project Update Lean Project #234: Scheduled
2m 22s main
main
2m 22s
Update Lean Project Update Lean Project #233: Scheduled
2m 17s main
main
2m 17s
Update Lean Project Update Lean Project #232: Scheduled
2m 22s main
main
2m 22s
Update Lean Project Update Lean Project #231: Scheduled
2m 1s main
main
2m 1s
Update Lean Project Update Lean Project #230: Scheduled
2m 12s main
main
2m 12s
Update Lean Project Update Lean Project #229: Scheduled
2m 7s main
main
2m 7s
Update Lean Project Update Lean Project #228: Scheduled
2m 23s main
main
2m 23s
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