From da23dbe3f0b2e1b4acc4ee45f774a3c190dee855 Mon Sep 17 00:00:00 2001 From: dany Date: Tue, 4 Jul 2023 13:53:43 +0200 Subject: [PATCH] Update 'Jenkinsfile' --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 6d34346..dbbfe05 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,7 +25,7 @@ pipeline{ set -e cd $WORKSPACE tree antos-release - docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64 + # docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64 for dir in antos-release/build/* ; do tag=$(basename $dir) echo "BUILD TAG $tag"