switched gen-docs to daily (#1601)

2020-07-12 09:08:32 -05:00 · 2020-07-12 09:08:32 -05:00 · e3b92bd261
parent 9dd6a9e321
commit e3b92bd261
1 changed files with 2 additions and 3 deletions
--- a/.github/workflows/gen-docs.yaml
+++ b/.github/workflows/gen-docs.yaml
@ -1,9 +1,8 @@
 name: Generate documentation

 on:
-  push:
-    branches:
-      - master
+  schedule:
+    - cron: '0 0 * * *'

 jobs:
  generate: