From e3ac460455c57dd2297ff2dde968cfb87ce59bff Mon Sep 17 00:00:00 2001
From: Jonas Nilsson <jonas.nilsson@esss.se>
Date: Thu, 16 Jan 2020 17:27:59 +0100
Subject: [PATCH] Update debian and ubuntu build images.

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 20dcda1..953b566 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,13 +16,13 @@ properties([[
   ]
 ]]);
 
-clangformat_os = "debian9"
+clangformat_os = "debian10"
 test_os = "ubuntu1804"
 
 container_build_nodes = [
   'centos7': ContainerBuildNode.getDefaultContainerBuildNode('centos7-gcc8'),
-  'debian9': ContainerBuildNode.getDefaultContainerBuildNode('debian9'),
-  'ubuntu1804': ContainerBuildNode.getDefaultContainerBuildNode('ubuntu1804')
+  'debian10': ContainerBuildNode.getDefaultContainerBuildNode('debian10'),
+  'ubuntu1804': ContainerBuildNode.getDefaultContainerBuildNode('ubuntu1804-gcc8')
 ]
 
 pipeline_builder = new PipelineBuilder(this, container_build_nodes)