From 3f1b8f27af354f82cdf822b95d05c78beed7f621 Mon Sep 17 00:00:00 2001 From: Andreas Motl Date: Mon, 6 Nov 2023 12:29:30 +0100 Subject: [PATCH] CI: Adjust scheduling configuration --- .github/workflows/codeql.yml | 6 ++++-- .github/workflows/docs.yml | 9 +++++++++ .github/workflows/main.yml | 10 +++++++++- 3 files changed, 22 insertions(+), 3 deletions(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 1c60dff7..348df5fa 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -5,12 +5,14 @@ on: push: branches: - master - schedule: - - cron: "50 19 * * 6" # Allow job to be triggered manually. workflow_dispatch: + # Run job as nightly recurrent job. + schedule: + - cron: '0 2 * * *' + # Cancel in-progress jobs when pushing to the same branch. concurrency: group: ${{ github.workflow }}-${{ github.ref }} diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index ae9adba4..cd518c5d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,10 +1,19 @@ name: docs + on: pull_request: ~ push: branches: - master + # Allow job to be triggered manually. + workflow_dispatch: + + # Run job as nightly recurrent job. + schedule: + - cron: '0 2 * * *' + +# Cancel in-progress jobs when pushing to the same branch. concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1a929ba2..728e86c8 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,11 +1,19 @@ ---- name: test + on: pull_request: ~ push: branches: - master + # Allow job to be triggered manually. + workflow_dispatch: + + # Run job as nightly recurrent job. + schedule: + - cron: '0 2 * * *' + +# Cancel in-progress jobs when pushing to the same branch. concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true