Use Ubuntu 18.04 in Valgrind job to get more recent Valgrind
Fixes
@@ -60,11 +60,10 @@ jobs:
- CMAKE_OPTIONS="-DCMAKE_C_FLAGS=-fsanitize=address,undefined" make && make test
- name: valgrind
os: linux
+ # Need a more up-to-date Valgrind to dodge https://bugs.kde.org/show_bug.cgi?id=381289
+ dist: bionic
addons:
apt:
- sources:
- # Need a more up-to-date Valgrind to dodge https://bugs.kde.org/show_bug.cgi?id=381289
- - sourceline: 'ppa:jonathonf/development-tools'
packages:
- valgrind
env:
