From 63c9ab1f64c92e15acd2086b1085d6d941fa14fc Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Fri, 20 Sep 2024 14:54:08 +0200 Subject: [PATCH] Add daily jobs (cf. https://github.com/oscar-system/Oscar.jl/issues/4072) --- .github/workflows/CI.yml | 3 +++ .github/workflows/hecke.yml | 3 +++ .github/workflows/nemo.yml | 3 +++ .github/workflows/oscar.yml | 3 +++ .github/workflows/singular.yml | 3 +++ 5 files changed, 15 insertions(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 978cf881ea..637dd0d158 100644 --- 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 index 5929c34865..3207df25fa 100644 --- 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 index d251335ed6..dee6eaf85f 100644 --- 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 index 30fdabcaeb..84d37a1f37 100644 --- 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 index 05a11645f2..bb6865f91a 100644 --- 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: