From 9b1ee1165a9756d76609afa5bb7cae44f7056b30 Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Tue, 7 May 2024 16:55:10 +0800
Subject: [PATCH] CI: add schedule trigger to run once a day

This way it will not catch us by surprise when suddenly
CI fails when the reason is not really related to the
commit being pushed, but by some change done on the GitHub
side.
---
 .github/workflows/CI.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 91b3f46e3..3df3e9c0b 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -1,6 +1,14 @@
 name: CI
 
-on: [push, pull_request, workflow_dispatch]
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+  # to execute once a day (more info see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule )
+  schedule:
+    - cron: "0 0 * * *"
+
 
 # FIXME: figure out why we need to clean after make if we
 # want 'make strict' target to really happen without