From 0d664a35445103cc58b48768092d36d84473a35c Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Sun, 4 Feb 2024 23:22:37 +0000
Subject: [PATCH] Remove obsolete gcov arg to codecov action

This is replaced by the plugin arg, which by default runs all.
---
 .github/workflows/ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index baec7d8..ad5a25b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -93,7 +93,6 @@ jobs:
           token: ${{ secrets.CODECOV_TOKEN }}
           #fail_ci_if_error: true
           #verbose: true
-          gcov: true
 
       - name: Build documentation
         run: make doc
-- 
2.39.2