Add daily tests (cf. oscar-system/Oscar.jl#4072) (#1048)

oscar-system · Sep 20, 2024 · 84080a9 · 84080a9
1 parent 696615b
commit 84080a9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
+      - 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
@@ -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: