]> Nishi Git Mirror - gwion.git/commitdiff
coverity
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 18:51:15 +0000 (19:51 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 18:51:15 +0000 (19:51 +0100)
.github/workflows/coverity.yml

index b46f0feca54d78b65e6afa887fc5f19469298265..9f70d6ec74705dcde91a6aeef7a4489b0b391112 100644 (file)
@@ -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