From f52b87a36f8c91d2f9112df865d5cd5b4a8298b6 Mon Sep 17 00:00:00 2001
From: "Andres G. Aragoneses" <knocte@gmail.com>
Date: Sun, 1 Sep 2024 21:38:38 +0800
Subject: [PATCH] CI: add schedule and workflow_dispatch triggers

---
 .github/workflows/CI.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index f33f8aa..79816dd 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -1,8 +1,14 @@
 name: CI
 
 on:
-  - push
-  - pull_request
+  push:
+  pull_request:
+  workflow_dispatch:
+
+  # see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
+  schedule:
+    # once a day
+    - cron: "0 0 * * *"
 
 jobs:
   buildAndTest-linux: