Daily tests (cf. oscar-system/Oscar.jl#4072)

thofma · Sep 20, 2024 · a9fd54c · a9fd54c
1 parent a33221a
commit a9fd54c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 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:05 AM UTC
+    - cron: '5 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
@@ -1,9 +1,13 @@
 name: OscarCI
 
 on:
-   pull_request:
-     branches:
-       - master
+  pull_request:
+    branches:
+      - master
+  schedule:
+    # Every day at 3:05 AM UTC
+    - cron: '5 3 * * *'
+
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull