From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 18:51:15 +0000 (+0100)
Subject: coverity
X-Git-Tag: nightly~1914
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=19fec5b2b1bc2c507716dcc6eebd53d379d423b3;p=gwion.git

coverity
---

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index b46f0fec..9f70d6ec 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -8,9 +8,9 @@ on:
 
 jobs:
   build:
-    name: ${{ matrix.double && 'double' || ''}}
+    name: Coverity
     runs-on: ubuntu-latest
-    if: "!contains(github.event.head_commit.message, '[coverity]')"
+    if: "contains(github.event.head_commit.message, '[coverity]')"
 
     steps:
     - uses: actions/checkout@v1