From 9ef6650175b007587e80fd24a6aae20c4d5f7270 Mon Sep 17 00:00:00 2001
From: Elscrux <nickposer2102@gmail.com>
Date: Mon, 11 Nov 2024 10:27:28 +0100
Subject: [PATCH] fix: Demonstrators not being copied to container

---
 Dockerfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Dockerfile b/Dockerfile
index af6eec3d..64e16eae 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -49,6 +49,7 @@ ENV PATH="${PATH}:/opt/java/bin"
 
 # Install the toolbox server and its solver scripts
 COPY solvers solvers
+COPY demonstrators demonstrators
 RUN scripts/ci-setup-solvers.sh
 COPY --from=builder /app/build/libs/toolbox-server-*.jar toolbox-server.jar