[GHA] Add workflow_dispatch trigger to coverity (#21676)
To be able to trigger it via GitHub API from Jenkins nightly
This commit is contained in:
parent
bbddb89171
commit
8bc724d160
1
.github/workflows/coverity.yml
vendored
1
.github/workflows/coverity.yml
vendored
@ -1,5 +1,6 @@
|
|||||||
name: Coverity (Ubuntu 20.04, Python 3.11)
|
name: Coverity (Ubuntu 20.04, Python 3.11)
|
||||||
on:
|
on:
|
||||||
|
workflow_dispatch:
|
||||||
schedule:
|
schedule:
|
||||||
# run daily at 00:00
|
# run daily at 00:00
|
||||||
- cron: '0 0 * * *'
|
- cron: '0 0 * * *'
|
||||||
|
Loading…
Reference in New Issue
Block a user