Skip to content

Actions: ejgallego/coq

Actions

Stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #585: Scheduled
December 20, 2024 02:43 2s master
master
December 20, 2024 02:43 2s
Stale PRs Stale PRs #584: Scheduled
December 19, 2024 02:51 3s master
master
December 19, 2024 02:51 3s
Stale PRs Stale PRs #583: Scheduled
December 18, 2024 02:51 2s master
master
December 18, 2024 02:51 2s
Stale PRs Stale PRs #582: Scheduled
December 17, 2024 02:56 2s master
master
December 17, 2024 02:56 2s
Stale PRs Stale PRs #581: Scheduled
December 16, 2024 03:00 2s master
master
December 16, 2024 03:00 2s
Stale PRs Stale PRs #580: Scheduled
December 13, 2024 02:58 2s master
master
December 13, 2024 02:58 2s
Stale PRs Stale PRs #579: Scheduled
December 12, 2024 02:57 2s master
master
December 12, 2024 02:57 2s
Stale PRs Stale PRs #578: Scheduled
December 11, 2024 02:56 2s master
master
December 11, 2024 02:56 2s
Stale PRs Stale PRs #577: Scheduled
December 10, 2024 02:59 3s master
master
December 10, 2024 02:59 3s
Stale PRs Stale PRs #576: Scheduled
December 9, 2024 03:00 2s master
master
December 9, 2024 03:00 2s
Stale PRs Stale PRs #575: Scheduled
December 6, 2024 02:56 2s master
master
December 6, 2024 02:56 2s
Stale PRs Stale PRs #574: Scheduled
December 5, 2024 02:57 2s master
master
December 5, 2024 02:57 2s
Stale PRs Stale PRs #573: Scheduled
December 4, 2024 02:57 2s master
master
December 4, 2024 02:57 2s
Stale PRs Stale PRs #572: Scheduled
December 3, 2024 02:59 3s master
master
December 3, 2024 02:59 3s
Stale PRs Stale PRs #571: Scheduled
December 2, 2024 02:59 2s master
master
December 2, 2024 02:59 2s
Stale PRs Stale PRs #570: Scheduled
November 29, 2024 02:55 2s master
master
November 29, 2024 02:55 2s
Stale PRs Stale PRs #569: Scheduled
November 28, 2024 02:55 3s master
master
November 28, 2024 02:55 3s
Stale PRs Stale PRs #568: Scheduled
November 27, 2024 02:55 2s master
master
November 27, 2024 02:55 2s
Stale PRs Stale PRs #567: Scheduled
November 26, 2024 02:53 2s master
master
November 26, 2024 02:53 2s
Stale PRs Stale PRs #566: Scheduled
November 25, 2024 02:54 3s master
master
November 25, 2024 02:54 3s
Stale PRs Stale PRs #565: Scheduled
November 22, 2024 02:52 2s master
master
November 22, 2024 02:52 2s
Stale PRs Stale PRs #564: Scheduled
November 21, 2024 02:50 3s master
master
November 21, 2024 02:50 3s
Stale PRs Stale PRs #563: Scheduled
November 20, 2024 02:50 2s master
master
November 20, 2024 02:50 2s
Stale PRs Stale PRs #562: Scheduled
November 19, 2024 02:51 2s master
master
November 19, 2024 02:51 2s
Stale PRs Stale PRs #561: Scheduled
November 18, 2024 02:54 3s master
master
November 18, 2024 02:54 3s