diff --git a/manage.sh b/manage.sh index afd3fd201f..90428a8e30 100755 --- a/manage.sh +++ b/manage.sh @@ -34,7 +34,7 @@ function build-devenv { fi # docker build -t $DEVENV_IMGNAME:latest . - docker buildx build --platform linux/amd64,linux/arm64 --push -t $DEVENV_IMGNAME:latest .; + docker buildx build --platform linux/amd64 --push -t $DEVENV_IMGNAME:latest .; docker pull $DEVENV_IMGNAME:latest; popd;