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

index 1a4dd816227bb98f282dced1cd7fdcd88363b5ef..a9f023a5701ed55d511ba6dabdf3ef57a6730e56 100644 (file)
@@ -22,9 +22,9 @@ jobs:
       run: git submodule update --init util ast
 
     - name: make
-      env:
-        USE_COVERAGE=1
       run: make 
+      env:
+        USE_COVERAGE: 1
 
     - name: Tests
       env: