added CODECOV_TOKEN (#253)

* added CODECOV_TOKEN

* added missing newline
This commit is contained in:
joaquintides 2024-06-08 18:50:31 +02:00 committed by GitHub
parent 8b40aef85f
commit cffd0a413e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -244,6 +244,8 @@ jobs:
- name: Upload coverage
if: matrix.coverage
run: ci/codecov.sh "upload"
env:
CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}
- name: Run coverity
if: matrix.coverity && github.event_name == 'push' && (github.ref_name == 'develop' || github.ref_name == 'master')