diff options
| -rw-r--r-- | Jenkinsfile | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 37898220..1438da84 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -68,22 +68,22 @@ node('Docker') { // } // } // }, - 'arm64': { - script { - dir('docker') { - sh """ - docker build -t ${env.DOCKER_IMAGE_ARM64} --build-arg ARCH=arm64v8/ . - - """ - - if (! isCustomBuild()) { - withDockerRegistry([credentialsId: "DockerHub"]) { - sh "docker push ${env.DOCKER_IMAGE_ARM64}" - } - } - } - } - } +// 'arm64': { +// script { +// dir('docker') { +// sh """ +// docker build -t ${env.DOCKER_IMAGE_ARM64} --build-arg ARCH=arm64v8/ . +// +// """ +// +// if (! isCustomBuild()) { +// withDockerRegistry([credentialsId: "DockerHub"]) { +// sh "docker push ${env.DOCKER_IMAGE_ARM64}" +// } +// } +// } +// } +// } ) } stage('Build timestamp') { |