]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:42:12 +0000 (00:42 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:42:12 +0000 (00:42 +0100)
.github/workflows/coverity.yml

index a9e00941fc855c02dd823f4e8795aefa71dd56b3..a31a4b1bce82bc170df4abb0c8435d25e4b41ce7 100644 (file)
@@ -32,6 +32,7 @@ jobs:
 
     - name: Submit
       run: |
+        echo ${{ GITHUB_REF }}
         tar czvf gwion.tgz cov-int
         curl \
           --form project=dennecdjay/Gwion \
@@ -39,5 +40,5 @@ jobs:
           --form email=astor.jeremie@wanadoo.fr \
           --form file=@gwion.tgz \
           --form version=trunk \
-          --form description="`./ruby -v`" \
+          --form description="strongly timed programming language" \
           https://scan.coverity.com/builds?project=fennecdjay/Gwion