mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-10-24 03:57:39 +00:00
Code Issues Releases Wiki Activity

Update Coverity Scan version tag

Browse Source
This commit is contained in:
Carles Fernandez
2019-08-05 02:25:18 +02:00
parent 459490f751
commit ba2877f3cd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitlab-ci.yml
View File

@@ -448,7 +448,7 @@ coverity-scan:
- cmake -DENABLE_OSMOSDR=ON -DENABLE_RAW_UDP=ON ..
- cov-build --dir cov-int make -j2
- tar cvzf gnss-sdr.tgz cov-int
- curl -k --form token=$COVERITY_SCAN_TOKEN --form email=$COVERITY_SCAN_EMAIL --form file=@$(pwd)/gnss-sdr.tgz --form version="0.0.10-next" --form description=" " https://scan.coverity.com/builds?project=$COVERITY_SCAN_USER%2Fgnss-sdr --progress-bar | tee -a "log_upload.txt" ; test ${PIPESTATUS[0]} -eq 0
- curl -k --form token=$COVERITY_SCAN_TOKEN --form email=$COVERITY_SCAN_EMAIL --form file=@$(pwd)/gnss-sdr.tgz --form version="0.0.11-next" --form description=" " https://scan.coverity.com/builds?project=$COVERITY_SCAN_USER%2Fgnss-sdr --progress-bar | tee -a "log_upload.txt" ; test ${PIPESTATUS[0]} -eq 0
when: manual
allow_failure: true