diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 69bb8f6d12f..24adb77be47 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -436,14 +436,18 @@ jobs:
         id: copy-coverage
         if: (success() || failure()) && steps.container.outcome == 'success'
         run: |
+          ls -la .coverage  # display the contents of the directory
           echo tests_id=$(echo "${{ matrix.tests }}" | sed -E 's, +,--,g;s,/,_,g;s/[^-_A-Za-z]//g;') >> "$GITHUB_OUTPUT"
 
       - name: Upload coverage results
         if: (success() || failure()) && steps.container.outcome == 'success'
         uses: actions/upload-artifact@v4
         with:
+          # The path .coverage is a directory that contains the combined coverage data file .coverage
+          # The artifact contains the file .coverage, which is a hidden file because of the leading dot
           name: coverage-${{ steps.copy-coverage.outputs.tests_id }}
           path: .coverage
+          include-hidden-files: true
 
   coverage-report:
     runs-on: ubuntu-latest
@@ -530,11 +534,11 @@ jobs:
       # Combining
 
       - name: Download coverage artifacts
+        if: (success() || failure()) && steps.container.outcome == 'success'
         uses: actions/download-artifact@v4
         with:
           path: .coverage
           pattern: coverage-*
-        if: (success() || failure()) && steps.container.outcome == 'success'
 
       - name: Coverage report
         if: (success() || failure()) && steps.container.outcome == 'success'