Merge branch 'master' into scenario-descriptions

This commit is contained in:
Alessio Bogon 2023-02-27 20:08:26 +01:00 committed by GitHub
commit ad6df6e45d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -83,5 +83,8 @@ jobs:
- uses: codecov/codecov-action@v3
with:
# Explicitly using the token in order to avoid Codecov rate limit errors
# See https://community.codecov.com/t/upload-issues-unable-to-locate-build-via-github-actions-api/3954
token: ${{ secrets.CODECOV_TOKEN }}
fail_ci_if_error: true
verbose: true # optional (default = false)