Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Travis: Drop support for coverity_scan, we do not use it
The UX is pretty bad, and the fact that all reports are private by default with no option to make them public makes Coverity Scan hardly usable in a community-driven project.
- Loading branch information