github/ci: again reverting report upload to github action

.github/workflows/coverage.yml

@@ -46,16 +46,12 @@ jobs:
     - name: make coverage
       run: make -j 2 coverage
 
-    # prefer codecov action (below), but produces 'unusable report';
-    - name: upload report to codecov using bash script
-      run: bash <(curl -s https://codecov.io/bash)
-
-    # NOTE: this fails to upload
-    # (suspect path fixing needed: https://docs.codecov.com/docs/fixing-paths)
-    #- name: upload report to codecov with github action
-    #  uses: codecov/codecov-action@v4
-    #  with:
-    #    fail_ci_if_error: true
-    #    verbose: true
-    #    token: ${{ secrets.CODECOV_TOKEN }}
+    - name: upload report to codecov
+      # run: bash <(curl -s https://codecov.io/bash)
+      # https://docs.codecov.com/docs/fixing-paths
+      uses: codecov/codecov-action@v4
+      with:
+        fail_ci_if_error: true
+        verbose: true
+        token: ${{ secrets.CODECOV_TOKEN }}