From 50e6c852c9f29518227ba14ef0d571a6ad73f4c5 Mon Sep 17 00:00:00 2001 From: Marcelo Lazaroni Date: Wed, 20 Nov 2024 19:58:09 +0000 Subject: [PATCH] Use emulator v1.5 --- build/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/Dockerfile b/build/Dockerfile index aba7978..3662e1a 100644 --- a/build/Dockerfile +++ b/build/Dockerfile @@ -41,7 +41,7 @@ RUN mv /tmp/emulator /opt/emulator WORKDIR /opt/emulator RUN git fetch # just in case we have cached git clone -RUN git checkout v1.4 +RUN git checkout v1.5 RUN cabal build emulator RUN cp $(cabal list-bin emulator) /tmp/emulator