Skip to content

Actions: liyishuai/coq-json

Actions

Close stale issues and PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close stale issues and PRs Close stale issues and PRs #45: Scheduled
November 20, 2023 02:07 12s master
master
November 20, 2023 02:07 12s
Close stale issues and PRs Close stale issues and PRs #44: Scheduled
November 17, 2023 02:07 15s master
master
November 17, 2023 02:07 15s
Close stale issues and PRs Close stale issues and PRs #43: Scheduled
November 16, 2023 02:07 14s master
master
November 16, 2023 02:07 14s
Close stale issues and PRs Close stale issues and PRs #42: Scheduled
November 15, 2023 02:06 14s master
master
November 15, 2023 02:06 14s
Close stale issues and PRs Close stale issues and PRs #41: Scheduled
November 14, 2023 02:03 11s master
master
November 14, 2023 02:03 11s
Close stale issues and PRs Close stale issues and PRs #40: Scheduled
November 13, 2023 02:05 15s master
master
November 13, 2023 02:05 15s
Close stale issues and PRs Close stale issues and PRs #39: Scheduled
November 10, 2023 02:03 16s master
master
November 10, 2023 02:03 16s
Close stale issues and PRs Close stale issues and PRs #38: Scheduled
November 9, 2023 02:03 12s master
master
November 9, 2023 02:03 12s
Close stale issues and PRs Close stale issues and PRs #37: Scheduled
November 8, 2023 02:03 17s master
master
November 8, 2023 02:03 17s
Close stale issues and PRs Close stale issues and PRs #36: Scheduled
November 7, 2023 02:03 13s master
master
November 7, 2023 02:03 13s
Close stale issues and PRs Close stale issues and PRs #35: Scheduled
November 6, 2023 02:05 13s master
master
November 6, 2023 02:05 13s