From dfd143c1eb3dd5ac4c4445084aef0f82f2c9821e Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 26 Jul 2024 10:53:17 +1000 Subject: [PATCH] sel4test-hw: temporarily pin docker base image Base images since 2024-07-19 produce sel4test images with new failures for imx8mm-evk and odroid_c4. Pin to the version before that to enable continued development for now. The intention is to revert this commit once we have figured out what has changed in the build container to make the tests fail. Signed-off-by: Gerwin Klein --- sel4test-hw/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sel4test-hw/Dockerfile b/sel4test-hw/Dockerfile index 42092bac..2c47a281 100644 --- a/sel4test-hw/Dockerfile +++ b/sel4test-hw/Dockerfile @@ -8,7 +8,7 @@ ARG WORKSPACE=/workspace ARG SCRIPTS=/ci-scripts ARG ACTION=sel4test-hw -FROM trustworthysystems/sel4:latest +FROM trustworthysystems/sel4:2024_07_11 RUN apt-get update \ && apt-get install -y --no-install-recommends \