Skip to content

Actions: opencompl/lean4

Actions

Label stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #198: Scheduled
September 8, 2024 02:01 13s master
master
September 8, 2024 02:01 13s
Label stale PRs Label stale PRs #197: Scheduled
September 7, 2024 01:56 10s master
master
September 7, 2024 01:56 10s
Label stale PRs Label stale PRs #196: Scheduled
September 6, 2024 01:57 12s master
master
September 6, 2024 01:57 12s
Label stale PRs Label stale PRs #195: Scheduled
September 5, 2024 01:57 12s master
master
September 5, 2024 01:57 12s
Label stale PRs Label stale PRs #194: Scheduled
September 4, 2024 01:56 10s master
master
September 4, 2024 01:56 10s
Label stale PRs Label stale PRs #193: Scheduled
September 3, 2024 01:56 16s master
master
September 3, 2024 01:56 16s
Label stale PRs Label stale PRs #192: Scheduled
September 2, 2024 01:58 11s master
master
September 2, 2024 01:58 11s
Label stale PRs Label stale PRs #191: Scheduled
September 1, 2024 02:05 10s master
master
September 1, 2024 02:05 10s
Label stale PRs Label stale PRs #190: Scheduled
August 31, 2024 01:56 14s master
master
August 31, 2024 01:56 14s
Label stale PRs Label stale PRs #189: Scheduled
August 30, 2024 01:57 11s master
master
August 30, 2024 01:57 11s
Label stale PRs Label stale PRs #188: Scheduled
August 29, 2024 01:56 11s master
master
August 29, 2024 01:56 11s
Label stale PRs Label stale PRs #187: Scheduled
August 28, 2024 01:55 12s master
master
August 28, 2024 01:55 12s
Label stale PRs Label stale PRs #186: Scheduled
August 27, 2024 02:25 11s master
master
August 27, 2024 02:25 11s
Label stale PRs Label stale PRs #185: Scheduled
August 26, 2024 02:25 11s master
master
August 26, 2024 02:25 11s
Label stale PRs Label stale PRs #184: Scheduled
August 25, 2024 02:28 11s master
master
August 25, 2024 02:28 11s
Label stale PRs Label stale PRs #183: Scheduled
August 24, 2024 02:22 10s master
master
August 24, 2024 02:22 10s
Label stale PRs Label stale PRs #182: Scheduled
August 23, 2024 02:24 13s master
master
August 23, 2024 02:24 13s
Label stale PRs Label stale PRs #181: Scheduled
August 22, 2024 02:25 17s master
master
August 22, 2024 02:25 17s
Label stale PRs Label stale PRs #180: Scheduled
August 21, 2024 02:23 13s master
master
August 21, 2024 02:23 13s
Label stale PRs Label stale PRs #179: Scheduled
August 20, 2024 01:53 12s master
master
August 20, 2024 01:53 12s
Label stale PRs Label stale PRs #178: Scheduled
August 19, 2024 01:54 12s master
master
August 19, 2024 01:54 12s
Label stale PRs Label stale PRs #177: Scheduled
August 18, 2024 01:56 11s master
master
August 18, 2024 01:56 11s
Label stale PRs Label stale PRs #176: Scheduled
August 17, 2024 01:51 11s master
master
August 17, 2024 01:51 11s
Label stale PRs Label stale PRs #175: Scheduled
August 16, 2024 01:53 14s master
master
August 16, 2024 01:53 14s
Label stale PRs Label stale PRs #174: Scheduled
August 15, 2024 01:48 11s master
master
August 15, 2024 01:48 11s