Skip to content

Actions: kmill/lean4

Actions

Label stale PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stale.yml
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #13: Scheduled
November 9, 2023 02:02 11s master
master
November 9, 2023 02:02 11s
Label stale PRs Label stale PRs #12: Scheduled
November 8, 2023 02:02 9s master
master
November 8, 2023 02:02 9s
Label stale PRs Label stale PRs #11: Scheduled
November 7, 2023 02:03 19s master
master
November 7, 2023 02:03 19s
Label stale PRs Label stale PRs #10: Scheduled
November 6, 2023 02:04 14s master
master
November 6, 2023 02:04 14s
Label stale PRs Label stale PRs #9: Scheduled
November 5, 2023 02:04 14s master
master
November 5, 2023 02:04 14s
Label stale PRs Label stale PRs #8: Scheduled
November 4, 2023 02:00 14s master
master
November 4, 2023 02:00 14s
Label stale PRs Label stale PRs #7: Scheduled
November 3, 2023 02:01 15s master
master
November 3, 2023 02:01 15s
Label stale PRs Label stale PRs #6: Scheduled
November 2, 2023 02:00 16s master
master
November 2, 2023 02:00 16s
Label stale PRs Label stale PRs #5: Scheduled
November 1, 2023 02:04 11s master
master
November 1, 2023 02:04 11s
Label stale PRs Label stale PRs #4: Scheduled
October 31, 2023 02:01 12s master
master
October 31, 2023 02:01 12s
Label stale PRs Label stale PRs #3: Scheduled
October 30, 2023 02:01 14s master
master
October 30, 2023 02:01 14s
Label stale PRs Label stale PRs #2: Scheduled
October 29, 2023 02:02 16s master
master
October 29, 2023 02:02 16s
Label stale PRs Label stale PRs #1: Scheduled
October 28, 2023 01:57 13s master
master
October 28, 2023 01:57 13s