srctree

Robin Linden parent d2277bbd 72228589
ci: Use a Codecov upload token for coverage reporting

This should resolve the coverage upload step being flaky.

['error'] There was an error running the uploader: Error uploading to https://codecov.io: Error: There was an error fetching the storage URL during POST: 404 - {'detail': ErrorDetail(string='Unable to locate build via Github Actions API. Please upload with the Codecov repository upload token to resolve issue.', code='not_found')}
inlinesplit
.github/workflows/ci.yaml added: 2, removed: 2, total 0
@@ -154,7 +154,7 @@ jobs:
run: |
wget --no-verbose --output-document=codecov https://github.com/codecov/uploader/releases/download/v0.7.1/codecov-linux
chmod +x codecov
./codecov -Z -f bazel-out/_coverage/_coverage_report.dat
./codecov --token ${{ secrets.CODECOV_TOKEN }} -Z -f bazel-out/_coverage/_coverage_report.dat
 
linux-gcc-13-no-exceptions:
runs-on: ubuntu-22.04