diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index af24ad72f..5de4fecd2 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: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 index 5929c3486..eb7712b8e 100644 --- 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 index 30fdabcae..55028b4a0 100644 --- 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 index 05a11645f..bb9d04896 100644 --- 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: