Skip to content

Actions: Yann-Leray/coq

Actions

Stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stale PRs Stale PRs #145: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #144: Scheduled
2s rewrite-rules
rewrite-rules
2s
Stale PRs Stale PRs #143: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #142: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #141: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #140: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #139: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #138: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #137: Scheduled
2s rewrite-rules
rewrite-rules
2s
Stale PRs Stale PRs #136: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #135: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #134: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #133: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #132: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #131: Scheduled
4s rewrite-rules
rewrite-rules
4s
Stale PRs Stale PRs #130: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #129: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #128: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #127: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #126: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #125: Scheduled
Skipped rewrite-rules
rewrite-rules
Skipped
Stale PRs Stale PRs #124: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #123: Scheduled
Skipped rewrite-rules
rewrite-rules
Skipped
Stale PRs Stale PRs #122: Scheduled
1s rewrite-rules
rewrite-rules
1s
Stale PRs Stale PRs #121: Scheduled
1s rewrite-rules
rewrite-rules
1s