On 6 June 2015 at 01:57, Felipe Sateler <fsateler at debian.org> wrote: > Hi, > > In order to enable the coverity/travis integration a few steps need to be done: This is neat, thanks for bringing it up. > 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. I'm the Github admin. I've requested access for Coverity admin stuff so I can get the token etc. > [1] https://communities.coverity.com/message/6959#6959 > [2] https://scan.coverity.com/projects/1095/builds/new?tab=travis_ci -- Arun
