diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index fe3c4a52..75e02296 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -4,6 +4,7 @@ on: push: branches: - 'dev' + workflow_dispatch: env: PROJECT_NAME: finit