chore: make bot more responsive

This commit is contained in:
andig 2024-06-29 14:26:11 +02:00 • committed by GitHub
parent b3a6197a25
commit 2967bb582d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4,6 +4,8 @@ on:
workflow_dispatch:
schedule:
- cron: "0 0 * * *"
issue_comment:
types: [created]
jobs:
stale: