Add weekly CI run.

drvinceknight · drvinceknight · commit 6b3988ea2323 · 2020-04-08T17:32:36.000+01:00
Closes #1317
diff --git a/.github/workflows/config.yml b/.github/workflows/config.yml
@@ -1,6 +1,11 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+  # Run weakly at 00:00 on Sunday.
+  schedule:
+  - cron:  '0 0 * * 0'
 
 jobs:
   build:
