Add 'workflow_dispatch' event trigger to Coverity workflow

This commit is contained in:
Joshua Sing 2023-01-12 18:37:41 +11:00
parent d8fa0ebd0b
commit 5fe2c171a5
No known key found for this signature in database
GPG Key ID: 3A3F16614180CDE6

View File

@ -1,6 +1,7 @@
name: Coverity
on:
workflow_dispatch:
schedule:
- cron: "0 0 * * *"