tweak cron job time

RalfJung · RalfJung · commit 77095f8557f2 · 2021-11-17T10:34:32.000-05:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,8 +10,7 @@ on:
     branches:
       - 'master'
   schedule:
-    # Use <https://crontab.guru> to conveniently edit cron schedule.
-    - cron: '0 7 * * *' # At 07:00 UTC every day.
+    - cron: '5 15 * * *' # At 15:05 UTC every day.
 
 jobs:
   build:
