From 696166813fb2c0b633d6f43aea430ae51401abf0 Mon Sep 17 00:00:00 2001 From: YanxuanLiu Date: Mon, 10 Jul 2023 14:04:29 +0800 Subject: [PATCH] change container name Signed-off-by: YanxuanLiu --- ci/Jenkinsfile.premerge | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/Jenkinsfile.premerge b/ci/Jenkinsfile.premerge index 91a866077e..8ae54f1781 100644 --- a/ci/Jenkinsfile.premerge +++ b/ci/Jenkinsfile.premerge @@ -138,7 +138,7 @@ pipeline { stash(name: "source_tree", includes: "**") - container('docker-build') { + container('cpu') { // check if pre-merge dockerfile modified def dockerfileModified = sh(returnStdout: true, script: 'BASE=$(git --no-pager log --oneline -1 | awk \'{ print $NF }\'); ' +