Make the daily build happen a few hours later.

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 182fa6c91be99a137552ddf9ed6b1cd7bc4ccff6..d3ea362449b958b52cf2fe0926d3e1957a3d868f 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -6,7 +6,7 @@ on:
   pull_request:
     branches: [ master ]
   schedule:
-    - cron: '42 5 * * *'
+    - cron: '42 8 * * *'
 
 jobs: