From 9fdbd244a7f5f4f1b7d0137f5a68eb6a554401f0 Mon Sep 17 00:00:00 2001
From: Martin Bies <HereAround@users.noreply.github.com>
Date: Wed, 25 Sep 2024 12:13:33 +0200
Subject: [PATCH] Add daily tests (cf.
 https://github.com/oscar-system/Oscar.jl/issues/4072) (#4127)

---
 .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