Skip to content

Actions: thorimur/mathlib4

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
397 workflow runs
397 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Close stale issues and PRs Close stale issues and PRs #397: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #396: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #395: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #394: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #393: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #392: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #391: Scheduled
9s master
master
9s
Close stale issues and PRs Close stale issues and PRs #390: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #389: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #388: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #387: Scheduled
10s master
master
10s
Close stale issues and PRs Close stale issues and PRs #386: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #385: Scheduled
7s master
master
7s
Close stale issues and PRs Close stale issues and PRs #384: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #383: Scheduled
11s master
master
11s
Close stale issues and PRs Close stale issues and PRs #382: Scheduled
9s master
master
9s
Close stale issues and PRs Close stale issues and PRs #381: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #380: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #379: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #378: Scheduled
10s master
master
10s
Close stale issues and PRs Close stale issues and PRs #377: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #376: Scheduled
Skipped master
master
Skipped
Close stale issues and PRs Close stale issues and PRs #375: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #374: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #373: Scheduled
1s master
master
1s