From 759e9722f869364695ab32a4b624668268ff5d13 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Wed, 26 Apr 2023 01:43:42 +0200 Subject: [PATCH] typo --- server/server.Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/server.Dockerfile b/server/server.Dockerfile index 2cc494c..1128d47 100644 --- a/server/server.Dockerfile +++ b/server/server.Dockerfile @@ -5,7 +5,7 @@ WORKDIR / # Copy lean files COPY GameServer ./GameServer -COPY Main ./Main +COPY Main.lean ./Main COPY lakefile.lean ./lakefile.lean COPY lake-manifest.lean ./lake-manifest.lean COPY lean-toolchain ./lean-toolchain