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

HereAround · Sep 20, 2024 · 29cad4d · 29cad4d
1 parent 59d6a4f
commit 29cad4d
Show file tree

Hide file tree

Showing 4 changed files with 12 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:13 AM UTC
+    - cron: '13 3 * * *' 
 
 concurrency:
   # group by workflow and ref; the last slightly strange component ensures that for pull

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