Skip to content

Actions: Ruben-VandeVelde/mathlib4

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
46 workflow run results
46 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues and PRs Close stale issues and PRs #46: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #45: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #44: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #43: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #42: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #41: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #40: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #39: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #38: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #37: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #36: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #35: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #34: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #33: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #32: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #31: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #30: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #29: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #28: Scheduled
2s master
master
2s
Close stale issues and PRs Close stale issues and PRs #27: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #26: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #25: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #24: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #23: Scheduled
1s master
master
1s
Close stale issues and PRs Close stale issues and PRs #22: Scheduled
Skipped master
master
Skipped