trying something

.github/workflows/build.yml

@@ -94,10 +94,13 @@ jobs:
           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" >> $GITHUB_ENV
           badge_url="https://img.shields.io/badge/coverage-${COVERAGE_PERCENTAGE}25-brightgreen"
-          echo "COVERAGE BADGE URL: $badge_url"
-          echo "COVERAGE_BADGE_URL=$badge_url" >> $GITHUB_ENV
+          sed -i "s|!\\[coverage-badge\\](.*)|![coverage-badge](${badge_url})|" README.md
+          git config user.name "github-actions"
+          git config user.email "github-actions@github.com"
+          git add README.md
+          git commit -m "Update coverage badge URL in README"
+          git push
       - name: Kill wrench-daemon
         run: |
           # WITHOUT DOCKER