From b522ba59df7a01e8a4c0bffbe12ef5c3cfaf6c5d Mon Sep 17 00:00:00 2001
From: Martin Bies <HereAround@users.noreply.github.com>
Date: Mon, 23 Sep 2024 09:14:02 +0200
Subject: [PATCH] Add daily CI jobs (#499)

* Add daily CI jobs (cf. https://github.com/oscar-system/Oscar.jl/issues/4072)

* Update .github/workflows/oscar.yml

---------

Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
---
 .github/workflows/runtests.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/runtests.yml b/.github/workflows/runtests.yml
index 58b1f30b..d0fcd0c3 100644
--- a/.github/workflows/runtests.yml
+++ b/.github/workflows/runtests.yml
@@ -8,6 +8,9 @@ on:
    pull_request:
      branches:
        - master
+   schedule:
+       # Every day at 3:05 AM UTC
+       - cron: '5 3 * * *'
    workflow_dispatch:
 
 # needed to allow julia-actions/cache to delete old caches that it has created