Merge pull request #69 from KIT-MRT/add_default_arg_in_dockerfile

Make "latest" the default version of demo docker build
KIT-MRT · Nov 5, 2024 · 393f982 · 393f982
2 parents 061414c + 3bbba7d
commit 393f982
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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