From 30274c4f5cdb3e343b1e7fc1442d4383137da265 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bel=C3=A9n=20Albeza?= Date: Thu, 3 Jul 2025 08:28:07 +0200 Subject: [PATCH] :wrench: Restore arm64 build of devenv (#6826) --- manage.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manage.sh b/manage.sh index 4e8e8374d8..547f7db236 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 --push -t $DEVENV_IMGNAME:latest .; + docker buildx build --platform linux/amd64,linux/arm64 --push -t $DEVENV_IMGNAME:latest .; docker pull $DEVENV_IMGNAME:latest; popd;