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:45:02 +01:00
parent 22ee270895
commit 74d6ba3ab4
2 changed files with 3 additions and 3 deletions
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -7,9 +7,9 @@ name: Bot

 on:
  schedule:
-    # Run every 5m
+    # Run every 10m
    # i.e., at each of the listed minutes, every hour
-    - cron: '02,07,12,17,22,27,32,37,42,47,52,57 * * * *'
+    - cron: '05,15,25,35,45,55 * * * *'
  workflow_call:
    inputs:
      headBranch: