:wrench: Fix bot syntax

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index adc8f35fd563af1c54921bcb7a37886746dd73c5..d8e75d89c8a003797724bbe77053316f090aaa90 100644 (file)
--- 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 (file)
index 0000000..b46f0fe
--- /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