Add daily CI jobs (#499)

* Add daily CI jobs (cf. oscar-system/Oscar.jl#4072) * Update .github/workflows/oscar.yml --------- Co-authored-by: Benjamin Lorenz <[email protected]>
oscar-system · Sep 23, 2024 · b522ba5 · b522ba5
1 parent 2c47775
commit b522ba5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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