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)