From d3013f0af3f4029d82872c1a9487ea461a56dee4 Mon Sep 17 00:00:00 2001 From: Ihor Dutchak Date: Mon, 22 May 2023 13:50:06 +0300 Subject: [PATCH] Weekly runs for Coverity Scan (#565) --- .github/workflows/checks.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml index 75f1a0b1f..e03dc66ee 100644 --- a/.github/workflows/checks.yml +++ b/.github/workflows/checks.yml @@ -1,5 +1,5 @@ name: Checks -run-name: Code checks for ${{ github.ref_name }} +run-name: Code checks for '${{ github.ref_name }}' # General comment: # Coverity doesn't support merging or including reports from multible machine/platforms (at least not officially). @@ -11,7 +11,11 @@ run-name: Code checks for ${{ github.ref_name }} # that are done *on the same host* machine. on: + # On-demand run workflow_dispatch: + # Weekly run + schedule: + - cron: '30 5 * * 0' jobs: coverity-windows: