From 7aa51f8a91e252588f064de0c8ed9b763c83271a Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 24 Jul 2019 11:05:09 +0200 Subject: [PATCH 1/1] travis: we now use travis --- tools/jenkins/project_description.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh index 43c1b16c09..c1b3c8fa98 100755 --- a/tools/jenkins/project_description.sh +++ b/tools/jenkins/project_description.sh @@ -179,7 +179,7 @@ do sed -i -e "s/\r//g" ./consoleText if [ $id == 0 ]; then node="travis-linux (log)" - os="Ubuntu 16.04 xenial" + os="Ubuntu 18.04 bionic" elif [ $id == 1 ]; then node="travis-mac (log)" os="Mac OS X Mojave (10.14) " -- 2.20.1