From da6811adf6644e6d8d702c073a8344b3e60e7237 Mon Sep 17 00:00:00 2001
From: Michael Greenberg <michael.greenberg@stevens.edu>
Date: Fri, 24 Sep 2021 15:40:14 -0400
Subject: [PATCH] Add cronjob to GH workflow (#48)

Run every day ~11am. Hopefully I won't have too many lunches ruined by regressions.
---
 .github/workflows/build.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 44d4c5e..044f0e7 100644
--- 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: