Add coverity scan, faster CI

This commit is contained in:
Andrey Borodin 2020-02-14 12:15:29 +05:00
parent f71381769e
commit 1bace0fedb
1 changed files with 1 additions and 2 deletions

View File

@ -2,10 +2,9 @@ dist: bionic
language: c language: c
before_install: before_install:
- sudo apt-get -y --no-install-recommends install postgresql-10 postgresql-server-dev-10 - 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- - 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: compiler:
- clang - clang
- gcc - gcc