From dcde747e7a52114fa86918dc26ab10d4b1fbb22b Mon Sep 17 00:00:00 2001 From: Owen Graves Date: Thu, 17 Oct 2024 14:44:29 -0500 Subject: [PATCH] [sc-39637] Add purs-tidy --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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