Disable coverity for pull requests

This commit is contained in:
vit9696 2020-11-29 16:57:32 +03:00
parent 6bb862d626
commit 5066a44132

View File

@ -141,6 +141,7 @@ jobs:
env: env:
PROJECT_TYPE: TOOL PROJECT_TYPE: TOOL
JOB_TYPE: COVERITY JOB_TYPE: COVERITY
if: github.event_name != 'pull_request'
name: Analyze Coverity name: Analyze Coverity
runs-on: macos-10.15 runs-on: macos-10.15
steps: steps: