fix: Demonstrators not being copied to container

ProvideQ · Nov 11, 2024 · 9ef6650 · 9ef6650
1 parent 4f732c8
commit 9ef6650
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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