Skip to content

Actions: leanprover-community/iris-lean

Actions

Check Stale Porting Entries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stale.yml
97 workflow runs
97 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
Check Stale Porting Entries Check Stale Porting Entries #97: Scheduled
36s master
master
36s
Check Stale Porting Entries Check Stale Porting Entries #96: Scheduled
46s master
master
46s
Check Stale Porting Entries Check Stale Porting Entries #95: Scheduled
35s master
master
35s
Check Stale Porting Entries Check Stale Porting Entries #94: Scheduled
26s master
master
26s
Check Stale Porting Entries Check Stale Porting Entries #93: Scheduled
29s master
master
29s
Check Stale Porting Entries Check Stale Porting Entries #92: Scheduled
33s master
master
33s
Check Stale Porting Entries Check Stale Porting Entries #91: Scheduled
30s master
master
30s
Check Stale Porting Entries Check Stale Porting Entries #90: Scheduled
33s master
master
33s
Check Stale Porting Entries Check Stale Porting Entries #89: Scheduled
1m 37s master
master
1m 37s
Check Stale Porting Entries Check Stale Porting Entries #88: Scheduled
28s master
master
28s
Check Stale Porting Entries Check Stale Porting Entries #87: Scheduled
4m 34s master
master
4m 34s
Check Stale Porting Entries Check Stale Porting Entries #86: Scheduled
28s master
master
28s
Check Stale Porting Entries Check Stale Porting Entries #85: Scheduled
42s master
master
42s
Check Stale Porting Entries Check Stale Porting Entries #84: Scheduled
41s master
master
41s
Check Stale Porting Entries Check Stale Porting Entries #83: Scheduled
30s master
master
30s
Check Stale Porting Entries Check Stale Porting Entries #82: Scheduled
34s master
master
34s
Check Stale Porting Entries Check Stale Porting Entries #81: Scheduled
31s master
master
31s
Check Stale Porting Entries Check Stale Porting Entries #80: Scheduled
37s master
master
37s
Check Stale Porting Entries Check Stale Porting Entries #79: Scheduled
35s master
master
35s
Check Stale Porting Entries Check Stale Porting Entries #78: Scheduled
35s master
master
35s
Check Stale Porting Entries Check Stale Porting Entries #77: Scheduled
4m 49s master
master
4m 49s
Check Stale Porting Entries Check Stale Porting Entries #76: Scheduled
32s master
master
32s
Check Stale Porting Entries Check Stale Porting Entries #75: Scheduled
28s master
master
28s
Check Stale Porting Entries Check Stale Porting Entries #74: Scheduled
27s master
master
27s
Check Stale Porting Entries Check Stale Porting Entries #73: Scheduled
25s master
master
25s