Merge pull request #39 from RalfJung/delay

run the update after the release process is most likely done

Author: Mark-Simulacrum

.github/workflows/rust.yml

@@ -6,8 +6,8 @@ on:
   pull_request:
     branches: [ master ]
   schedule:
-    # Runs at 00:10 UTC every day. 
-    - cron: '10 0 * * *'
+    # Runs at 2:00 UTC every day (to give the release process 2h to complete).
+    - cron: '0 2 * * *'
 
 env:
   CARGO_TERM_COLOR: always
@@ -35,4 +35,4 @@ jobs:
         mv ../output/* .
         git add .
         git commit -m "Deploy $GITHUB_SHA to gh-pages"
-        git push --force
+        git push --force