diff --git a/Dockerfile b/Dockerfile index 9bfdd29..4775e47 100644 --- a/Dockerfile +++ b/Dockerfile @@ -20,4 +20,4 @@ RUN apt-get update && \ RUN mkdir -p ~/.ssh/ && ssh-keyscan -t ed25519 github.com >> ~/.ssh/known_hosts RUN npm install -g npm@10.8.3 -RUN npm install -g spago@0.93.39 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.23.1 +RUN npm install -g spago@0.93.39 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.23.1 purs-tidy@0.11.0