CI: Do a weekly build on github

Helps catch CI issues due to github runner changes.
realnc · May 17, 2023 · d6ef234 · d6ef234
1 parent d2f7d6c
commit d6ef234
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,6 +1,11 @@
 name: CI
 
-on: [push, pull_request, workflow_dispatch]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+  schedule:
+    - cron: '0 3 * * sun'
 
 jobs:
   build_linux_intel: