From 8bc724d16020b7aaed2b2c296b89b7eb364e6906 Mon Sep 17 00:00:00 2001 From: Alina Kladieva Date: Thu, 14 Dec 2023 20:11:13 +0100 Subject: [PATCH] [GHA] Add workflow_dispatch trigger to coverity (#21676) To be able to trigger it via GitHub API from Jenkins nightly --- .github/workflows/coverity.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index efcdb154c9d..6de62ceff8a 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -1,5 +1,6 @@ name: Coverity (Ubuntu 20.04, Python 3.11) on: + workflow_dispatch: schedule: # run daily at 00:00 - cron: '0 0 * * *'