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.
seL4 · Oct 12, 2024 · cb8c3d1 · cb8c3d1
1 parent 0c7fc2d
commit cb8c3d1
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 \