Skip to content

Actions: Zimmi48/coq

Actions

Stale 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.
168 workflow runs
168 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Stale PRs Stale PRs #250: Scheduled
October 3, 2023 02:21 3s issue-templates
issue-templates
October 3, 2023 02:21 3s
Stale PRs Stale PRs #249: Scheduled
October 2, 2023 02:21 3s issue-templates
issue-templates
October 2, 2023 02:21 3s
Stale PRs Stale PRs #248: Scheduled
September 29, 2023 02:20 3s issue-templates
issue-templates
September 29, 2023 02:20 3s
Stale PRs Stale PRs #247: Scheduled
September 28, 2023 02:20 2s issue-templates
issue-templates
September 28, 2023 02:20 2s
Stale PRs Stale PRs #246: Scheduled
September 27, 2023 02:20 2s issue-templates
issue-templates
September 27, 2023 02:20 2s
Stale PRs Stale PRs #245: Scheduled
September 26, 2023 02:20 2s issue-templates
issue-templates
September 26, 2023 02:20 2s
Stale PRs Stale PRs #244: Scheduled
September 25, 2023 02:21 2s issue-templates
issue-templates
September 25, 2023 02:21 2s
Stale PRs Stale PRs #243: Scheduled
September 22, 2023 02:20 3s issue-templates
issue-templates
September 22, 2023 02:20 3s
Stale PRs Stale PRs #242: Scheduled
September 21, 2023 02:19 3s issue-templates
issue-templates
September 21, 2023 02:19 3s
Stale PRs Stale PRs #241: Scheduled
September 20, 2023 02:20 3s issue-templates
issue-templates
September 20, 2023 02:20 3s
Stale PRs Stale PRs #240: Scheduled
September 19, 2023 02:21 3s issue-templates
issue-templates
September 19, 2023 02:21 3s
Stale PRs Stale PRs #239: Scheduled
September 18, 2023 02:20 2s issue-templates
issue-templates
September 18, 2023 02:20 2s
Stale PRs Stale PRs #238: Scheduled
September 15, 2023 02:21 3s issue-templates
issue-templates
September 15, 2023 02:21 3s
Stale PRs Stale PRs #237: Scheduled
September 14, 2023 02:20 3s issue-templates
issue-templates
September 14, 2023 02:20 3s
Stale PRs Stale PRs #236: Scheduled
September 13, 2023 02:20 2s issue-templates
issue-templates
September 13, 2023 02:20 2s
Stale PRs Stale PRs #235: Scheduled
September 12, 2023 02:19 2s issue-templates
issue-templates
September 12, 2023 02:19 2s
Stale PRs Stale PRs #234: Scheduled
September 11, 2023 02:20 3s issue-templates
issue-templates
September 11, 2023 02:20 3s
Stale PRs Stale PRs #233: Scheduled
September 8, 2023 02:19 3s issue-templates
issue-templates
September 8, 2023 02:19 3s
Stale PRs Stale PRs #232: Scheduled
September 7, 2023 02:19 3s issue-templates
issue-templates
September 7, 2023 02:19 3s
Stale PRs Stale PRs #231: Scheduled
September 6, 2023 02:19 3s issue-templates
issue-templates
September 6, 2023 02:19 3s
Stale PRs Stale PRs #230: Scheduled
September 5, 2023 02:18 3s issue-templates
issue-templates
September 5, 2023 02:18 3s
Stale PRs Stale PRs #229: Scheduled
September 4, 2023 02:20 3s issue-templates
issue-templates
September 4, 2023 02:20 3s
Stale PRs Stale PRs #228: Scheduled
September 1, 2023 02:24 2s issue-templates
issue-templates
September 1, 2023 02:24 2s
Stale PRs Stale PRs #227: Scheduled
August 31, 2023 02:19 3s issue-templates
issue-templates
August 31, 2023 02:19 3s
Stale PRs Stale PRs #226: Scheduled
August 30, 2023 02:19 3s issue-templates
issue-templates
August 30, 2023 02:19 3s