Hi, In order to enable the coverity/travis integration a few steps need to be done: 1. Link the coverity project to github. The instructions to do so are at[1]. This has to be done by someone that is admin in both sites, and the github organization membership must be public. 2. Get the app token from the coverity scan page [2]. 3. Apply a patch like the attached one to travis.yml, replacing the token where it says XXXX. This will make a coverity run every time the coverity_branch is pushed to in github. Unfortunately, this configuration cannot be tested without commiting to github so it is possible that a new iteration would be needed. Peter is Coverity admin, I do not know who is github admin of pulseaudio. [1] https://communities.coverity.com/message/6959#6959 [2] https://scan.coverity.com/projects/1095/builds/new?tab=travis_ci -- Saludos, Felipe Sateler -------------- next part -------------- A non-text attachment was scrubbed... Name: coverity.patch Type: text/x-patch Size: 640 bytes Desc: not available URL: <http://lists.freedesktop.org/archives/pulseaudio-discuss/attachments/20150605/7a979549/attachment.bin>
