ci: Fix usage of codecov.

The usage of https://codecov.io/bash is deprecated. github actions
are now used to upload the coverage data.

Signed-off-by: Juergen Repp <juergen_repp@web.de>

.ci/docker.env

@@ -24,3 +24,4 @@ WITH_TCTI
 GEN_FUZZ
 TEST_TCTI_CONFIG
 ENABLE_COVERAGE
+CODECOV_TOKEN

.ci/docker.run

@@ -150,7 +150,4 @@ if [ -n "$BASE_REF" ]; then
   git diff --check "origin/$BASE_REF"
 fi
 
-if [ "$ENABLE_COVERAGE" == "true" ]; then
-    bash <(curl -s https://codecov.io/bash)
-fi
 exit 0

.github/workflows/main.yml

@@ -132,6 +132,15 @@ jobs:
           DOCKER_IMAGE: ubuntu-20.04
           ENABLE_COVERAGE: true
           PROJECT_NAME: ${{ github.event.repository.name }}
+      - name: Generate Coverage Data
+        run: lcov --capture --directory . --output-file coverage.info
+      - name: Upload Coverage to Codecov
+        uses: codecov/codecov-action@v4
+        with:
+          token: ${{ secrets.CODECOV_TOKEN }}
+          files: ./coverage.info
+          fail_ci_if_error: true
+          verbose: true
       - name: failure
         if: ${{ failure() }}
         run: cat $(find ../ -name test-suite.log) || true