Update 'Jenkinsfile'

2022-08-05 11:59:02 +02:00 · 2022-08-05 11:59:02 +02:00 · 089acf721a
commit 089acf721a
parent 5b0509a9d0
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -39,6 +39,7 @@ pipeline{
        [ -d antos ] && rm antos
        mkdir antos
        cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf
+        tree antos
        docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64
        for arch in arm arm64 amd64  ; do
            docker buildx build \