sel4test-hw: un-pin upstream image version

This reverts commit dfd143c. 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 <[email protected]>
seL4 · Oct 12, 2024 · 6bf654a · 6bf654a
1 parent 0c7fc2d
commit 6bf654a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \