From d3a5cf94945f8f0bd97eec87dbae6c3559c15e6b Mon Sep 17 00:00:00 2001 From: Martin Bies Date: Fri, 20 Sep 2024 14:46:20 +0200 Subject: [PATCH] Daily tests (cf. https://github.com/oscar-system/Oscar.jl/issues/4072) --- .github/workflows/CI.yml | 3 +++ .github/workflows/oscar.yml | 10 +++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 6ab082f33e..496389708a 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:05 AM UTC (Tutorial tests initiated at 2:00AM) + - 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 index d42056605e..d00d084445 100644 --- 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 (Tutorial tests initiated at 2:00AM) + - cron: '5 3 * * *' + concurrency: # group by workflow and ref; the last slightly strange component ensures that for pull