Skip to content

Actions: SkySkimmer/coq

Actions

Stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
4 workflow run results
4 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #523: Scheduled
September 4, 2023 02:17 2s master
master
September 4, 2023 02:17 2s
Stale PRs Stale PRs #522: Scheduled
September 1, 2023 02:21 2s master
master
September 1, 2023 02:21 2s
Stale PRs Stale PRs #521: Scheduled
August 31, 2023 02:17 3s master
master
August 31, 2023 02:17 3s
Stale PRs Stale PRs #520: Scheduled
August 30, 2023 02:16 2s master
master
August 30, 2023 02:16 2s