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

Felipe Sateler fsateler at debian.org
Fri Jun 5 13:27:41 PDT 2015


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


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>

More information about the pulseaudio-discuss mailing list