remove get cache from dockerfile

This commit is contained in:
Jon Eugster
2023-05-08 18:31:18 +02:00
parent 0deb55e8ac
commit 43fa076464

View File

@@ -13,7 +13,9 @@ ENV PATH="${PATH}:/root/.elan/bin"
COPY . ./game
WORKDIR /game
RUN lake update && lake exe cache get
RUN lake update
# && lake exe cache get
# # TODO: cache is currently only in mathlib, add it once its in Std
WORKDIR /game/lake-packages/GameServer/server/
RUN lake clean && lake build