diff --git a/Jenkinsfile b/Jenkinsfile index 7c93de2..8b8ccd2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,6 +36,9 @@ pipeline{ set -e export WORKSPACE=$(realpath "./jenkins/workspace/antosaio-docker") cd $WORKSPACE + [ -d antos ] && rm antos + mkdir antos + cp /var/jenkins_home/workspace/nightly-antosaio/build/* antos -rf docker run --rm --privileged docker/binfmt:a7996909642ee92942dcd6cff44b9b95f08dad64 for arch in arm arm64 amd64 ; do docker buildx build \