Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
travis: change coverity to run on master
This change goes with disabling: - Build pushed branches - Build pushed pull requests And adding a cron job on travis-ci to build master weekly.
- Loading branch information