diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 967bf424..917e8c13 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -70,23 +70,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') { |