Update gcov version

Joseph-Edwards · Jan 6, 2025 · e26d0cb · e26d0cb
1 parent 40eb7aa
commit e26d0cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/runtests.yml b/.github/workflows/runtests.yml
@@ -173,8 +173,8 @@ jobs:
                 sudo apt-get install -y lcov
          - name: "Run quick tests . . ."
            run: |
-                sudo ln -sf /usr/bin/gcov-9 /usr/bin/gcov
-                export GCOV=/usr/bin/gcov-9
+                sudo ln -sf /usr/bin/gcov-13 /usr/bin/gcov
+                export GCOV=/usr/bin/gcov-13
                 etc/test-code-coverage.sh test_all "[quick][exclude:no-valgrind][exclude:no-coverage]"
          - name: "Uploading to Codecov . . ."
            uses: codecov/codecov-action@v4