From f561b48f0310fbeb8e88ee4cf58223d5be452de4 Mon Sep 17 00:00:00 2001
From: tobitege <tobitege@gmx.de>
Date: Mon, 5 Aug 2024 22:12:30 +0200
Subject: [PATCH] Dockerfile for app: re-declare ARG OPEN_DEVIN_BUILD_VERSION
 (#3257)

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

diff --git a/containers/app/Dockerfile b/containers/app/Dockerfile
index d4aa2b38af..b25e6b3b59 100644
--- a/containers/app/Dockerfile
+++ b/containers/app/Dockerfile
@@ -32,6 +32,8 @@ FROM python:3.12.3-slim AS runtime
 
 WORKDIR /app
 
+ARG OPEN_DEVIN_BUILD_VERSION #re-declare for this section
+
 ENV RUN_AS_DEVIN=true
 # A random number--we need this to be different from the user's UID on the host machine
 ENV OPENDEVIN_USER_ID=42420