Le 18/03/2017 à 22:36, Christian Ridderström a écrit :
I've looked a little at coverity / scan.coverity now and read e.g. the FAQ, but I'm not clear on how it's supposed to work. Are you (and Liviu) running coverity locally and then uploading the results to scan.coverity.com <http://scan.coverity.com>?
Yes. I currently use the attached (crude) script and upload the result by hand.
Could you please point me to the documentation on the coverity site, I must be dense but I'm not finding the right info.
Now you are admin, you will see the token in the Project Settings tab. There are some tips here: https://scan.coverity.com/projects/lyx/builds/new JMarc
prepare-build.sh
Description: application/shellscript
