fix Codecov

JuliaReach · Feb 29, 2024 · dbd0e52 · dbd0e52
1 parent 7d356a9
commit dbd0e52
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/test-master.yml b/.github/workflows/test-master.yml
@@ -48,3 +48,5 @@ jobs:
         uses: codecov/codecov-action@v4
         with:
           files: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true
diff --git a/.github/workflows/test-pull-request.yml b/.github/workflows/test-pull-request.yml
@@ -53,3 +53,5 @@ jobs:
         uses: codecov/codecov-action@v4
         with:
           files: lcov.info
+          token: ${{ secrets.CODECOV_TOKEN }}
+          fail_ci_if_error: true