Auto merge of #3073 - RalfJung:cron, r=RalfJung

bors · bors · commit 94c31d9da478 · 2023-09-22T05:29:32.000Z
run the cron job a bit earlier
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ on:
     branches:
       - 'master'
   schedule:
-    - cron: '11 5 * * *' # At 5:11 UTC every day.
+    - cron: '44 4 * * *' # At 4:44 UTC every day.
 
 defaults:
   run:
