diff --git a/demo/Dockerfile b/demo/Dockerfile index d587b6b2..48468c25 100644 --- a/demo/Dockerfile +++ b/demo/Dockerfile @@ -1,4 +1,4 @@ -ARG VERSION +ARG VERSION=latest FROM ghcr.io/kit-mrt/arbitration_graphs:$VERSION AS tutorial USER root