Move .coverage files directly

trailofbits · Aug 10, 2020 · 60620cb · 60620cb
1 parent eea716d
commit 60620cb
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 10 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -71,8 +71,7 @@ jobs:
         ./run_tests.sh
     - name: Coveralls Parallel
       run: |
-        coveralls debug
-        coveralls --merge coverage.json
+        coveralls
       env:
         COVERALLS_PARALLEL: true
         COVERALLS_REPO_TOKEN: ${{ secrets.COVERALLS_REPO_TOKEN }}

diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh
@@ -105,10 +105,8 @@ run_truffle_tests(){
         return 1
     fi
     echo "Truffle test succeded"
-    coverage json
-    coverage report
     cd ..
-    cp truffle_tests/coverage.json .
+    cp truffle_tests/.coverage .
     return 0
 }
 
@@ -118,8 +116,6 @@ run_tests_from_dir() {
     echo "Running only the tests from 'tests/$DIR' directory"
     pytest --durations=100 --cov=manticore --cov-config=$GITHUB_WORKSPACE/.coveragerc -n auto "tests/$DIR"
     RESULT=$?
-    coverage json
-    coverage report
     return $RESULT
 }
 
@@ -136,10 +132,8 @@ run_examples() {
     launch_examples
     RESULT=$?
     echo Ran example scripts
-    coverage json
-    coverage report
     popd
-    cp examples/script/coverage.json .
+    cp examples/script/.coverage .
     return $RESULT
 }