coverity: move to separate branch

Signed-off-by: Christian Brauner <christian.brauner@ubuntu.com>
This commit is contained in:
Christian Brauner 2018-11-02 12:35:08 +01:00
parent 1409ee16ff
commit e814299f2d
No known key found for this signature in database
GPG Key ID: 8EB056D53EECB12D

View File

@ -13,7 +13,7 @@ addons:
notification_email: lxc-devel@lists.linuxcontainers.org
build_command_prepend: "./autogen.sh && rm -Rf build && mkdir build && cd build && ../configure --enable-tests --with-distro=unknown"
build_command: "make -j4"
branch_pattern: master
branch_pattern: coverity
before_install:
- echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-
- sudo add-apt-repository ppa:ubuntu-lxc/daily -y