typo

2023-04-26 01:43:42 +02:00
parent 8246ae6eac
commit 759e9722f8
1 changed files with 1 additions and 1 deletions
@@ -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