From 8e377198db01737a432abb9998150b2c9aa30e78 Mon Sep 17 00:00:00 2001 From: YanxuanLiu Date: Mon, 10 Jul 2023 13:42:38 +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 e4cbe1d7..bf235ea9 100644 --- a/ci/Jenkinsfile.premerge +++ b/ci/Jenkinsfile.premerge @@ -132,7 +132,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 }\'); ' +