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
106 workflow runs
106 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 #106: Scheduled
1m 38s master
master
1m 38s
Update Lean Project Update Lean Project #105: Scheduled
1m 36s master
master
1m 36s
Update Lean Project Update Lean Project #104: Scheduled
1m 32s master
master
1m 32s
Update Lean Project Update Lean Project #103: Scheduled
1m 37s master
master
1m 37s
Update Lean Project Update Lean Project #102: Scheduled
1m 36s master
master
1m 36s
Update Lean Project Update Lean Project #101: Scheduled
1m 45s master
master
1m 45s
Update Lean Project Update Lean Project #100: Scheduled
1m 41s master
master
1m 41s
Update Lean Project Update Lean Project #99: Scheduled
1m 39s master
master
1m 39s
Update Lean Project Update Lean Project #98: Scheduled
1m 41s master
master
1m 41s
Update Lean Project Update Lean Project #97: Scheduled
1m 42s master
master
1m 42s
Update Lean Project Update Lean Project #96: Scheduled
6m 53s master
master
6m 53s
Update Lean Project Update Lean Project #95: Scheduled
1m 46s master
master
1m 46s
Update Lean Project Update Lean Project #94: Scheduled
1m 40s master
master
1m 40s
Update Lean Project Update Lean Project #93: Scheduled
1m 46s master
master
1m 46s
Update Lean Project Update Lean Project #92: Scheduled
1m 48s master
master
1m 48s
Update Lean Project Update Lean Project #91: Scheduled
1m 47s master
master
1m 47s
Update Lean Project Update Lean Project #90: Scheduled
1m 38s master
master
1m 38s
Update Lean Project Update Lean Project #89: Scheduled
1m 39s master
master
1m 39s
Update Lean Project Update Lean Project #88: Scheduled
1m 32s master
master
1m 32s
Update Lean Project Update Lean Project #87: Scheduled
1m 34s master
master
1m 34s
Update Lean Project Update Lean Project #86: Scheduled
1m 43s master
master
1m 43s
Update Lean Project Update Lean Project #85: Scheduled
1m 56s master
master
1m 56s
Update Lean Project Update Lean Project #84: Scheduled
25s master
master
25s
Update Lean Project Update Lean Project #83: Scheduled
1m 45s master
master
1m 45s
Update Lean Project Update Lean Project #82: Scheduled
20s master
master
20s