From 93c540da0bc90137beff9fba9119e87b0b9f95dc Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Fri, 26 Apr 2024 00:41:00 +0800
Subject: [PATCH] CI: add schedule trigger to run once a day

This day 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 | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index aaf81ed89..ee935e216 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -1,6 +1,13 @@
 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