Skip to content

Actions: tb65536/mathlib4

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
237 workflow runs
237 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues and PRs Close stale issues and PRs #237: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #236: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #235: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #234: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #233: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #232: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #231: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #230: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #229: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #228: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #227: Scheduled
11s master
master
11s
Close stale issues and PRs Close stale issues and PRs #226: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #225: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #224: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #223: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #222: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #221: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #220: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #219: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #218: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #217: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #216: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #215: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #214: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #213: Scheduled
1s master
master
1s