mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
b59959ddab
Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
21 lines
397 B
YAML
21 lines
397 B
YAML
name: 'Label stale PRs'
|
|
on:
|
|
schedule:
|
|
- cron: '30 1 * * *'
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
|
|
jobs:
|
|
stale:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: actions/stale@v10
|
|
with:
|
|
days-before-stale: -1
|
|
days-before-pr-stale: 30
|
|
days-before-close: -1
|
|
stale-pr-label: 'stale'
|
|
only-labels: 'awaiting-author'
|