From 60f158a6ad3568b1fe8b449caa9d3bb305bd05ca Mon Sep 17 00:00:00 2001
From: Martin Bies <MBies87@googlemail.com>
Date: Fri, 20 Sep 2024 14:08:44 +0200
Subject: [PATCH] Add daily tests (cf.
 https://github.com/oscar-system/Oscar.jl/issues/4072)

---
 .github/workflows/CI.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 4fa09050bc09..49899424ae08 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -6,6 +6,9 @@ on:
       - master
       - 'release-*'
   pull_request:
+  schedule:
+      # Every day at 3:10 AM UTC
+      - cron: '10 3 * * *'
   workflow_dispatch:
 
 # needed to allow julia-actions/cache to delete old caches that it has created