Add daily CI jobs (cf. oscar-system/Oscar.jl#4072)

HereAround · Sep 20, 2024 · d91e80e · d91e80e
1 parent 2c47775
commit d91e80e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
@@ -4,6 +4,9 @@ on:
    pull_request:
      branches:
        - master
+   schedule:
+       # Every day at 3:05 AM UTC
+       - cron: '5 3 * * *'
    workflow_dispatch:
 
 concurrency:

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