Files
nixpkgs/.github/workflows/bot.yml
Wolfgang Walther 74d6ba3ab4 Revert "wprkflows/bot: increase frequency to every 5 minutes"
This partially reverts commit 1197fe48da.

GitHub just doesn't schedule these narrow intervals. 10 minutes is
alright in practice.
2025-11-04 19:49:07 +01:00

4.7 KiB