adjust cron jobs

Author: baermat

.github/workflows/makefile.yml

@@ -6,9 +6,8 @@ on:
   pull_request:
     branches: [ "master" ]
   schedule:
-    - cron: '0 13 * * *' # 13:00 server time, meaning 14/15:00 our time. For regular commits in LS
-    - cron: '0 17 * * *' # 17:00 server time, meaning 18/19:00 our time. For the "This needs to be done today" folks.
-    - cron: '0 7 * * *'  # 08:00 server time, meaning 09/10:00 our time. For the night owls and early birds.
+    - cron: '0 13 * * *' # 13:00 server time, meaning 14/15:00 our time. For regular commits in LS. GitHub seems to be quite busy at that time, so this might be executed much later
+    - cron: '0 7 * * *'  # 07:00 server time, meaning 08/09:00 our time. For the night owls and early birds.
 jobs:
   test:
     runs-on: ubuntu-latest