Skip to content

Actions: j-loreaux/mathlib4

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
320 workflow runs
320 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 #320: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #319: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #318: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #317: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #316: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #315: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #314: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #313: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #312: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #311: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #310: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #309: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #308: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #307: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #306: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #305: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #304: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #303: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #302: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #301: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #300: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #299: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #298: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #297: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #296: Scheduled
1s master
master
1s