]> Nishi Git Mirror - gwion.git/commitdiff
projects / gwion.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 10567c2)
:wrench: trigger
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 22 Feb 2020 01:26:28 +0000 (02:26 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 22 Feb 2020 01:26:28 +0000 (02:26 +0100)
.github/workflows/coverage.yml patch | blob | history

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 98f9b3a35a5f3939125144b723fffb0355678418..552cc26d1769c784d3bfd65d94831d3d4811865a 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -22,6 +22,7 @@ jobs:
       with:
         dir: .
         ref: ${{ github.ref }}
+        run: 'true'
       env:
         USE_COVERAGE: 1
 
strongly-timed musical programming language