docker: bring back the WORKDIR instruction

NilFoundation · Nov 16, 2023 · 0083939 · 0083939
1 parent 6fea0f6
commit 0083939
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -24,3 +24,5 @@ RUN DEBIAN_FRONTEND=noninteractive \
       zkllvm=${ZKLLVM_VERSION} \
     && apt-get clean \
     && rm -rf /var/lib/apt/lists/*
+
+WORKDIR /opt/zkllvm-template