summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile32
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') {