search

jrl-umi3218 / jrl-travis

Travis build scripts
Other
7 stars 10 forks source link

Remove Coverity support (cf. #15). #16

Closed bchretien closed 9 years ago

bchretien commented 9 years ago

This should be directly handled in .travis.yml according to the documentation.