Update 'Jenkinsfile'

2023-07-04 13:53:43 +02:00 · 2023-07-04 13:53:43 +02:00 · da23dbe3f0
commit da23dbe3f0
parent 0ab0347740
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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"