srctree

David Zero parent 6e4cc507 a000eee7
ci: Make codecov fail on error

inlinesplit
.github/workflows/ci.yaml added: 2, removed: 2, total 0
@@ -131,7 +131,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 -f bazel-out/_coverage/_coverage_report.dat
./codecov -Z -f bazel-out/_coverage/_coverage_report.dat
 
linux-gcc-13-no-exceptions:
runs-on: ubuntu-22.04