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 \