From d9da555c9336044e5b8285a0969ee4c15509b601 Mon Sep 17 00:00:00 2001
From: Bengt Giger <bgiger@ethz.ch>
Date: Sun, 13 Dec 2020 13:44:37 +0100
Subject: [PATCH] Try copying jar from current directory

---
 docker/demo/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/demo/Dockerfile b/docker/demo/Dockerfile
index 79b90c79..4cbc229f 100644
--- a/docker/demo/Dockerfile
+++ b/docker/demo/Dockerfile
@@ -5,9 +5,9 @@ ENV SERVER_PORT="8080"
 ENV JMX_PORT="9090"
 ENV SERVER_PWD=
 
+COPY ./seb-server-auto.jar /sebserver/seb-server-auto.jar
 
 WORKDIR /sebserver
-COPY /home/runner/work/seb-server/seb-server/seb-server-auto.jar /sebserver
 
 ENTRYPOINT exec java \
     -Dcom.sun.management.jmxremote \