Skip to content

Actions: leanprover/lean4

Actions

Label stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
464 workflow runs
464 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #474: Scheduled
January 3, 2025 01:59 22s master
master
January 3, 2025 01:59 22s
Label stale PRs Label stale PRs #473: Scheduled
January 2, 2025 01:59 2m 36s master
master
January 2, 2025 01:59 2m 36s
Label stale PRs Label stale PRs #472: Scheduled
January 1, 2025 02:04 26s master
master
January 1, 2025 02:04 26s
Label stale PRs Label stale PRs #471: Scheduled
December 31, 2024 01:59 2m 29s master
master
December 31, 2024 01:59 2m 29s
Label stale PRs Label stale PRs #470: Scheduled
December 30, 2024 02:01 26s master
master
December 30, 2024 02:01 26s
Label stale PRs Label stale PRs #469: Scheduled
December 29, 2024 02:05 2m 36s master
master
December 29, 2024 02:05 2m 36s
Label stale PRs Label stale PRs #468: Scheduled
December 28, 2024 01:58 24s master
master
December 28, 2024 01:58 24s
Label stale PRs Label stale PRs #467: Scheduled
December 27, 2024 01:59 2m 29s master
master
December 27, 2024 01:59 2m 29s
Label stale PRs Label stale PRs #466: Scheduled
December 26, 2024 01:59 18s master
master
December 26, 2024 01:59 18s
Label stale PRs Label stale PRs #465: Scheduled
December 25, 2024 01:58 2m 38s master
master
December 25, 2024 01:58 2m 38s
Label stale PRs Label stale PRs #464: Scheduled
December 24, 2024 01:59 21s master
master
December 24, 2024 01:59 21s
Label stale PRs Label stale PRs #463: Scheduled
December 23, 2024 02:00 29s master
master
December 23, 2024 02:00 29s
Label stale PRs Label stale PRs #462: Scheduled
December 22, 2024 02:04 2m 31s master
master
December 22, 2024 02:04 2m 31s
Label stale PRs Label stale PRs #461: Scheduled
December 21, 2024 01:58 16s master
master
December 21, 2024 01:58 16s
Label stale PRs Label stale PRs #460: Scheduled
December 20, 2024 02:00 2m 29s master
master
December 20, 2024 02:00 2m 29s
Label stale PRs Label stale PRs #459: Scheduled
December 19, 2024 02:03 25s master
master
December 19, 2024 02:03 25s
Label stale PRs Label stale PRs #458: Scheduled
December 18, 2024 02:03 2m 29s master
master
December 18, 2024 02:03 2m 29s
Label stale PRs Label stale PRs #457: Scheduled
December 17, 2024 02:06 24s master
master
December 17, 2024 02:06 24s
Label stale PRs Label stale PRs #456: Scheduled
December 16, 2024 02:08 2m 35s master
master
December 16, 2024 02:08 2m 35s
Label stale PRs Label stale PRs #455: Scheduled
December 15, 2024 02:10 18s master
master
December 15, 2024 02:10 18s
Label stale PRs Label stale PRs #454: Scheduled
December 14, 2024 02:03 3m 20s master
master
December 14, 2024 02:03 3m 20s
Label stale PRs Label stale PRs #453: Scheduled
December 13, 2024 02:07 19s master
master
December 13, 2024 02:07 19s
Label stale PRs Label stale PRs #452: Scheduled
December 12, 2024 02:06 2m 37s master
master
December 12, 2024 02:06 2m 37s
Label stale PRs Label stale PRs #451: Scheduled
December 11, 2024 02:06 17s master
master
December 11, 2024 02:06 17s
Label stale PRs Label stale PRs #450: Scheduled
December 10, 2024 02:07 2m 29s master
master
December 10, 2024 02:07 2m 29s