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

HereAround · Sep 20, 2024 · 63c9ab1 · 63c9ab1
1 parent 0f40154
commit 63c9ab1
Show file tree

Hide file tree

Showing 5 changed files with 15 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:09 AM UTC
+    - cron: '9 3 * * *'
   workflow_dispatch:
 
 concurrency:

diff --git a/.github/workflows/hecke.yml b/.github/workflows/hecke.yml
@@ -7,6 +7,9 @@ on:
   push:
     branches:
       - master
+  schedule:
+    # Every day at 3:09 AM UTC
+    - cron: '9 3 * * *' 
   workflow_dispatch:
 
 concurrency:

diff --git a/.github/workflows/nemo.yml b/.github/workflows/nemo.yml
@@ -7,6 +7,9 @@ on:
   push:
     branches:
       - master
+  schedule:
+    # Every day at 3:09 AM UTC
+    - cron: '9 3 * * *' 
   workflow_dispatch:
 
 concurrency:

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:09 AM UTC
+    - cron: '9 3 * * *' 
   workflow_dispatch:
 
 concurrency:

diff --git a/.github/workflows/singular.yml b/.github/workflows/singular.yml
@@ -7,6 +7,9 @@ on:
   push:
     branches:
       - master
+  schedule:
+    # Every day at 3:09 AM UTC
+    - cron: '9 3 * * *' 
   workflow_dispatch:
 
 concurrency: