Improve Codecov settings

Fail the CI build if the Codecov uploading failed.
Show more detailed information in the Codecov comment.
Do not update the Codecov comment 13 times, but post it after all 14 reports were uploaded

.github/workflows/branches-and-prs.yml

@@ -66,3 +66,5 @@ jobs:
           arguments: --no-parallel --stacktrace ghActionsBuild "-Dvariant=${{ matrix.variant }}" "-DjavaVersion=${{ matrix.java }}"
       - name: 'Upload to Codecov.io'
         uses: codecov/codecov-action@v3
+        with:
+          fail_ci_if_error: true

.github/workflows/release.yml

@@ -62,6 +62,8 @@ jobs:
           ./gradlew --stop
       - name: 'Upload to Codecov.io'
         uses: codecov/codecov-action@v3
+        with:
+          fail_ci_if_error: true
 
   release-spock:
     runs-on: ${{ matrix.os }}

codecov.yml

@@ -0,0 +1,3 @@
+comment:
+  layout: "reach, diff, flags, files"
+  after_n_builds: 14