[pulseaudio-discuss] Enabling automatic coverity scans for pulseaudio via travis

Arun Raghavan arun at accosted.net
Wed Jun 10 23:12:41 PDT 2015


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


More information about the pulseaudio-discuss mailing list