From 5c142d42cc45d8906b10d2303f5e4f70c808cf72 Mon Sep 17 00:00:00 2001
From: Eric Froemling <ericfroemling@gmail.com>
Date: Fri, 13 Dec 2019 17:24:10 -0800
Subject: [PATCH] tweaked ci to run once daily in addition to on pushes

---
 .github/workflows/ci.yml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fe8a63b6..029fdd9e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,7 +1,12 @@
 name: CI
 
-on: [push]
-
+on:
+  # Run on pushes and also once per day (in case deps change under us)
+  - push
+  - schedule:
+      # Note: * is a special character in YAML so we have to quote the str.
+      - cron: '0 4 * * *'
+        
 jobs:
   check: