Add cronjob to GH workflow (#48)

Run every day ~11am. Hopefully I won't have too many lunches ruined by regressions.
mgree · Sep 24, 2021 · da6811a · da6811a
1 parent 1f8ec39
commit da6811a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,8 +1,10 @@
 name: Main workflow
 
 on:
-  - pull_request
-  - push
+  pull_request:
+  push:
+  schedule:
+    - cron: '5 11 * * *'
 
 jobs:
   build: