Run CI build on schedule

Author: phil-opp

Diff for: .github/workflows/build.yml

@@ -3,6 +3,8 @@ name: Build
 on:
   push:
   pull_request:
+  schedule:
+    - cron: '40 5 * * *'   # every day at 5:40
 
 jobs:
   check: