From 19fec5b2b1bc2c507716dcc6eebd53d379d423b3 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 19:51:15 +0100
Subject: [PATCH] coverity

---
 .github/workflows/coverity.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.43.0