From d91e80e9d1f0150c6b3fd70871304a8063be63af Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Fri, 20 Sep 2024 13:59:14 +0200 Subject: [PATCH 1/2] Add daily CI jobs (cf. https://github.com/oscar-system/Oscar.jl/issues/4072) --- .github/workflows/oscar.yml | 3 +++ .github/workflows/runtests.yml | 3 +++ 2 files changed, 6 insertions(+) diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml index 992ff96b..8c15b2f9 100644 --- a/.github/workflows/oscar.yml +++ b/.github/workflows/oscar.yml @@ -4,6 +4,9 @@ on: pull_request: branches: - master + schedule: + # Every day at 3:05 AM UTC + - cron: '5 3 * * *' workflow_dispatch: concurrency: diff --git a/.github/workflows/runtests.yml b/.github/workflows/runtests.yml index 58b1f30b..d0fcd0c3 100644 --- a/.github/workflows/runtests.yml +++ b/.github/workflows/runtests.yml @@ -8,6 +8,9 @@ on: pull_request: branches: - master + schedule: + # Every day at 3:05 AM UTC + - cron: '5 3 * * *' workflow_dispatch: # needed to allow julia-actions/cache to delete old caches that it has created From 63572263318e63ae5e60e7ed942d7dca406ef5c5 Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Mon, 23 Sep 2024 09:13:04 +0200 Subject: [PATCH 2/2] Update .github/workflows/oscar.yml --- .github/workflows/oscar.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml index 8c15b2f9..992ff96b 100644 --- a/.github/workflows/oscar.yml +++ b/.github/workflows/oscar.yml @@ -4,9 +4,6 @@ on: pull_request: branches: - master - schedule: - # Every day at 3:05 AM UTC - - cron: '5 3 * * *' workflow_dispatch: concurrency: