Add CODECOV_TOKEN for protected branch uploads

Codecov requires authentication token for uploading coverage reports
to protected branches.

Author: etr

.github/workflows/verify-build.yml

@@ -674,6 +674,7 @@ jobs:
     - name: Upload coverage to Codecov
       uses: codecov/codecov-action@v5
       with:
+        token: ${{ secrets.CODECOV_TOKEN }}
         files: build/coverage.xml
         fail_ci_if_error: false
       if: ${{ matrix.os-type == 'ubuntu' && matrix.c-compiler == 'gcc' && matrix.debug == 'debug' && matrix.coverage == 'coverage' && success() }}