From 1bace0fedbe1636bc26e0c493e4418e73e0d0a8c Mon Sep 17 00:00:00 2001
From: Andrey Borodin <amborodin@acm.org>
Date: Fri, 14 Feb 2020 12:15:29 +0500
Subject: [PATCH] Add coverity scan, faster CI

---
 .travis.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index d270cbf8..3eed4518 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -2,10 +2,9 @@ dist: bionic
 language: c
 before_install:
   - sudo apt-get -y --no-install-recommends install postgresql-10 postgresql-server-dev-10
-  - sudo service postgresql stop
+  - sudo pkill -9 postgres
   - echo -n | openssl s_client -connect https://scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
 
-after_success:
 compiler:
   - clang
   - gcc