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 #48: Scheduled
April 11, 2024 01:47 12s master
master
April 11, 2024 01:47 12s
Label stale PRs Label stale PRs #47: Scheduled
April 10, 2024 01:46 15s master
master
April 10, 2024 01:46 15s
Label stale PRs Label stale PRs #46: Scheduled
April 9, 2024 01:46 11s master
master
April 9, 2024 01:46 11s
Label stale PRs Label stale PRs #45: Scheduled
April 8, 2024 01:47 11s master
master
April 8, 2024 01:47 11s
Label stale PRs Label stale PRs #44: Scheduled
April 7, 2024 01:47 10s master
master
April 7, 2024 01:47 10s
Label stale PRs Label stale PRs #43: Scheduled
April 6, 2024 01:46 17s master
master
April 6, 2024 01:46 17s
Label stale PRs Label stale PRs #42: Scheduled
April 5, 2024 01:46 12s master
master
April 5, 2024 01:46 12s
Label stale PRs Label stale PRs #41: Scheduled
April 4, 2024 01:47 11s master
master
April 4, 2024 01:47 11s
Label stale PRs Label stale PRs #40: Scheduled
April 3, 2024 01:47 16s master
master
April 3, 2024 01:47 16s
Label stale PRs Label stale PRs #39: Scheduled
April 2, 2024 01:47 11s master
master
April 2, 2024 01:47 11s
Label stale PRs Label stale PRs #38: Scheduled
April 1, 2024 01:48 11s master
master
April 1, 2024 01:48 11s
Label stale PRs Label stale PRs #37: Scheduled
March 31, 2024 01:48 12s master
master
March 31, 2024 01:48 12s
Label stale PRs Label stale PRs #36: Scheduled
March 30, 2024 01:45 11s master
master
March 30, 2024 01:45 11s
Label stale PRs Label stale PRs #35: Scheduled
March 29, 2024 01:46 10s master
master
March 29, 2024 01:46 10s
Label stale PRs Label stale PRs #34: Scheduled
March 28, 2024 01:46 13s master
master
March 28, 2024 01:46 13s
Label stale PRs Label stale PRs #33: Scheduled
March 27, 2024 01:46 14s master
master
March 27, 2024 01:46 14s
Label stale PRs Label stale PRs #32: Scheduled
March 26, 2024 01:46 11s master
master
March 26, 2024 01:46 11s
Label stale PRs Label stale PRs #31: Scheduled
March 25, 2024 01:47 11s master
master
March 25, 2024 01:47 11s
Label stale PRs Label stale PRs #30: Scheduled
March 24, 2024 01:47 10s master
master
March 24, 2024 01:47 10s
Label stale PRs Label stale PRs #29: Scheduled
March 23, 2024 01:45 11s master
master
March 23, 2024 01:45 11s
Label stale PRs Label stale PRs #28: Scheduled
March 22, 2024 01:46 13s master
master
March 22, 2024 01:46 13s
Label stale PRs Label stale PRs #27: Scheduled
March 21, 2024 01:46 10s master
master
March 21, 2024 01:46 10s
Label stale PRs Label stale PRs #26: Scheduled
March 20, 2024 01:46 11s master
master
March 20, 2024 01:46 11s
Label stale PRs Label stale PRs #25: Scheduled
March 19, 2024 01:46 10s master
master
March 19, 2024 01:46 10s
Label stale PRs Label stale PRs #24: Scheduled
March 18, 2024 01:46 14s master
master
March 18, 2024 01:46 14s