From 089acf721a65e2615cd2bcca0b91280113c52d29 Mon Sep 17 00:00:00 2001
From: dany <contact@iohub.dev>
Date: Fri, 5 Aug 2022 11:59:02 +0200
Subject: [PATCH] Update 'Jenkinsfile'

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8b8ccd2..dfcbd3e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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 \