workflow fix

wrench-project · Sep 12, 2024 · ee7d936 · ee7d936
1 parent cc21828
commit ee7d936
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -87,9 +87,14 @@ jobs:
           docker exec --workdir /home/wrench/examples wrench-daemon-container bash ./run_all_examples.sh
       - name: Compute coverage
         run: |
-          docker exec --workdir /home/wrench/ wrench-daemon-container sudo pip install coverage
-          COVERAGE_PERCENTAGE=$(docker exec --workdir /home/wrench/ wrench-daemon-container bash ./.compute_coverage.sh)
-          echo "COVERAGE_PERCENTAGE=$COVERAGE_PERCENTAGE"
+          # WITHOUT DOCKER
+          #pip install coverage
+          #bash ./.compute_coverage.sh
+          # END WITHOUT DOCKER
+          docker exec wrench-daemon-container sudo pip install coverage
+          docker exec --workdir /home/wrench/ wrench-daemon-container bash ./.compute_coverage.sh
+          #COVERAGE_PERCENTAGE=$(docker exec --workdir /home/wrench/ wrench-daemon-container bash ./.compute_coverage.sh)
+          #echo "COVERAGE_PERCENTAGE=$COVERAGE_PERCENTAGE"
       - name: Kill wrench-daemon
         run: |
           # WITHOUT DOCKER