]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: coverage?
authorfennecdjay <fennecdjay@gmail.com>
Fri, 20 Jan 2023 19:37:39 +0000 (20:37 +0100)
committerfennecdjay <fennecdjay@gmail.com>
Fri, 20 Jan 2023 19:37:39 +0000 (20:37 +0100)
.github/workflows/coverage.yml

index 354e151c6fd8c27bd59c1eb2b403220691a67cf0..c75fa4d8ef74e10a11774ed36171ced3e9628358 100644 (file)
@@ -25,7 +25,7 @@ jobs:
       run: git submodule update --init --recursive
 
     - name: Build Gwion
-      run: make
+      run: make USE_COVERAGE=1
       env:
         USE_COVERAGE: 1