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

---
 .github/workflows/CI.yml    | 3 +++
 .github/workflows/oscar.yml | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 16bcebee2..b81660321 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -7,6 +7,9 @@ on:
       - 'release-'
     tags: '*'
   pull_request:
+  schedule:
+      # Every day at 3:08 AM UTC (Tutorial tests initiated at 2:00AM)
+      - cron: '8 3 * * *'
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 303e9bf6b..bff3ef20c 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -7,6 +7,9 @@ on:
   push:
      branches:
        - master
+  schedule:
+      # Every day at 3:08 AM UTC (Tutorial tests initiated at 2:00AM)
+      - cron: '8 3 * * *'
   workflow_dispatch:
 
 concurrency: