From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sun, 16 Feb 2020 14:24:44 +0000 (+0100)
Subject: :wrench: Fix bot syntax
X-Git-Tag: nightly~1949
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e59496e84fcc6755b464314ff6fd71a2b26f9a4e;p=gwion.git

:wrench: Fix bot syntax
---

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index adc8f35f..d8e75d89 100644
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -14,7 +14,7 @@ jobs:
 
     steps:
     - name: Clone and push
-      run:|
+      run: |
         git clone https://github.com/fennecdjay/gwion-cinch-bot
         cd gwion-cinch-bot
         git config --local user.email "action@github.com"
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
new file mode 100644
index 00000000..b46f0fec
--- /dev/null
+++ b/.github/workflows/coverity.yml
@@ -0,0 +1,22 @@
+name: Coverity
+
+on:
+  push:
+    branches:    
+    - '**'
+    - '!gh-pages'
+
+jobs:
+  build:
+    name: ${{ matrix.double && 'double' || ''}}
+    runs-on: ubuntu-latest
+    if: "!contains(github.event.head_commit.message, '[coverity]')"
+
+    steps:
+    - uses: actions/checkout@v1
+    - name: submodules
+      run: git submodule update --init util ast
+    - name: download coverity tool
+      run: curl https://scan.coverity.com/download/cxx/linux64
+    - name: make
+      run: cov-build --dir cov-int make