From 6581ee2c6d78b227b1cd2e396c1bba63170e0a85 Mon Sep 17 00:00:00 2001 From: "Luis P. Galeas" Date: Fri, 15 Nov 2024 15:47:45 +0000 Subject: [PATCH] Upgrade to emulator v1.3 --- build/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/Dockerfile b/build/Dockerfile index d215553..77549f1 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.2 +RUN git checkout v1.3 RUN cabal build emulator RUN cp $(cabal list-bin emulator) /tmp/emulator