Problem: coverage build is using old distro

Solution: update to default distro
This commit is contained in:
Simon Giesecke 2020-09-04 10:56:09 +02:00
parent eb7b7db05d
commit 3033b1ef18

View File

@ -46,17 +46,16 @@ matrix:
dist: precise
- env: BUILD_TYPE=coverage CURVE=tweetnacl GSSAPI=enabled PGM=enabled NORM=enabled TIPC=enabled IPv6=ON TLS=enabled DRAFT=enabled
os: linux
dist: xenial
addons:
apt:
sources:
- sourceline: 'deb http://download.opensuse.org/repositories/network:/messaging:/zeromq:/git-stable/xUbuntu_14.04/ ./'
key_url: 'http://download.opensuse.org/repositories/network:/messaging:/zeromq:/git-stable/xUbuntu_14.04/Release.key'
- sourceline: 'deb http://download.opensuse.org/repositories/network:/messaging:/zeromq:/git-stable/xUbuntu_18.04/ ./'
key_url: 'http://download.opensuse.org/repositories/network:/messaging:/zeromq:/git-stable/xUbuntu_18.04/Release.key'
packages:
- libkrb5-dev
- libnorm-dev
- libpgm-dev
- libgnutls-dev
- libgnutls28-dev
- lcov
- env: BUILD_TYPE=valgrind CURVE=tweetnacl DRAFT=enabled TLS=enabled
os: linux