From 008393938a79796c18868d4802b66db9f1e7bf16 Mon Sep 17 00:00:00 2001
From: Nick Volynkin <nick.volynkin@gmail.com>
Date: Thu, 16 Nov 2023 21:01:05 +0200
Subject: [PATCH] docker: bring back the WORKDIR instruction

---
 Dockerfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 02e031bc..638e0774 100644
--- 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
\ No newline at end of file