ci: change schedule (#110)

Schedule CI early morning every Saturday. Trigger only on pushes to master. Updates #106
2020-01-03 22:49:38 -08:00
parent 9f9d2ca8cf
commit 49adad921f
1 changed files with 7 additions and 1 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,4 +1,10 @@
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+  schedule:
+    - cron: '17 12 * * 6'

 name: ci
 jobs: