From d6ef234ed7959ea3ad4f3bc3f7b2354c6b4b7376 Mon Sep 17 00:00:00 2001
From: Nikos Chantziaras <realnc@gmail.com>
Date: Wed, 17 May 2023 21:28:09 +0300
Subject: [PATCH] CI: Do a weekly build on github

Helps catch CI issues due to github runner changes.
---
 .github/workflows/main.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 0e8c457..805051e 100644
--- 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: