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 \