Skip to content

Actions: coq-community/coq-ext-lib

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues and PRs Close stale issues and PRs #15: Scheduled
October 10, 2023 02:00 16s master
master
October 10, 2023 02:00 16s
Close stale issues and PRs Close stale issues and PRs #14: Scheduled
October 9, 2023 02:01 21s master
master
October 9, 2023 02:01 21s
Close stale issues and PRs Close stale issues and PRs #13: Scheduled
October 6, 2023 02:01 17s master
master
October 6, 2023 02:01 17s
Close stale issues and PRs Close stale issues and PRs #12: Scheduled
October 5, 2023 02:03 19s master
master
October 5, 2023 02:03 19s
Close stale issues and PRs Close stale issues and PRs #11: Scheduled
October 4, 2023 02:02 18s master
master
October 4, 2023 02:02 18s
Close stale issues and PRs Close stale issues and PRs #10: Scheduled
October 3, 2023 02:01 16s master
master
October 3, 2023 02:01 16s
Close stale issues and PRs Close stale issues and PRs #9: Scheduled
October 2, 2023 02:01 15s master
master
October 2, 2023 02:01 15s
Close stale issues and PRs Close stale issues and PRs #8: Scheduled
September 29, 2023 02:00 16s master
master
September 29, 2023 02:00 16s
Close stale issues and PRs Close stale issues and PRs #7: Scheduled
September 28, 2023 02:00 25s master
master
September 28, 2023 02:00 25s
Close stale issues and PRs Close stale issues and PRs #6: Scheduled
September 27, 2023 02:00 22s master
master
September 27, 2023 02:00 22s
Close stale issues and PRs Close stale issues and PRs #5: Scheduled
September 26, 2023 02:01 40m 31s master
master
September 26, 2023 02:01 40m 31s
Close stale issues and PRs Close stale issues and PRs #4: Scheduled
September 25, 2023 02:01 23s master
master
September 25, 2023 02:01 23s
Close stale issues and PRs Close stale issues and PRs #3: Scheduled
September 22, 2023 02:00 25s master
master
September 22, 2023 02:00 25s
Close stale issues and PRs Close stale issues and PRs #2: Scheduled
September 21, 2023 01:59 23s master
master
September 21, 2023 01:59 23s
Close stale issues and PRs Close stale issues and PRs #1: Scheduled
September 20, 2023 02:00 21s master
master
September 20, 2023 02:00 21s