Run the CI workflow daily

pcolby · pcolby · commit 95fb727d4d79 · 2024-11-08T15:08:30.000+11:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -4,8 +4,11 @@
 name: CI
 
 on:
-  - push
-  - pull_request
+  pull_request:
+  push:
+  schedule:
+    - cron: '30 17 * * *' # Daily, 03:30 AEST / 04:30 AEDT.
+  workflow_dispatch:
 
 jobs:
   lint:
