From 6bf654a18261a9410eb893f6d0f4eb48ae788cfc Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Sat, 12 Oct 2024 12:23:03 +1100 Subject: [PATCH] sel4test-hw: un-pin upstream image version This reverts commit dfd143c1eb3dd5ac4c4445084aef0f82f2c9821e. The failures mentioned in this commit have (hopefully) been resolved, and we want to pick up the switch to clang-12. 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 2c47a281..42092bac 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:2024_07_11 +FROM trustworthysystems/sel4:latest RUN apt-get update \ && apt-get install -y --no-install-recommends \