osmith has submitted this change. (
https://gerrit.osmocom.org/c/osmo-ci/+/38768?usp=email )
Change subject: scripts/osmo-ci-docker-rebuild: fix rpi4 failures
......................................................................
scripts/osmo-ci-docker-rebuild: fix rpi4 failures
It is no longer possible to pull the arm32 image by just using "docker
build --pull". Use a separate pull command with --platform and set an
env var to not use --pull with "docker build".
Related: OS#6627
Related: docker-playground I6e0a84ce7f8357611abc5da856f36d0df247de75
Change-Id: Ibf91bc098f34b43f46680d0395928e60cdd478fc
---
M scripts/osmo-ci-docker-rebuild.sh
1 file changed, 4 insertions(+), 0 deletions(-)
Approvals:
pespin: Looks good to me, but someone else must approve
Jenkins Builder: Verified
fixeria: Looks good to me, approved
diff --git a/scripts/osmo-ci-docker-rebuild.sh
b/scripts/osmo-ci-docker-rebuild.sh
index 78bf21c..1cc1165 100755
--- a/scripts/osmo-ci-docker-rebuild.sh
+++ b/scripts/osmo-ci-docker-rebuild.sh
@@ -10,6 +10,10 @@
"debian-bookworm-erlang"
;;
arm*|aarch64)
+ # OS#6627: need to run a separate "docker pull" command with platform
+ docker pull docker.io/arm32v7/debian:bookworm --platform="linux/arm/v7"
+
+ export NO_DOCKER_IMAGE_PULL=1
docker_images_require \
"debian-bookworm-build-arm"
;;
--
To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/38768?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.osmocom.org/settings?usp=email
Gerrit-MessageType: merged
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Change-Id: Ibf91bc098f34b43f46680d0395928e60cdd478fc
Gerrit-Change-Number: 38768
Gerrit-PatchSet: 1
Gerrit-Owner: osmith <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: fixeria <[email protected]>
Gerrit-Reviewer: osmith <[email protected]>
Gerrit-Reviewer: pespin <[email protected]>
