Upgrade all tools to latest version

.github/workflows/build.yml

@@ -35,7 +35,7 @@ jobs:
           images: |
             ghcr.io/flipstone/purescript-tools
           tags: |
-            type=sha,format=short,prefix=debian-stable-purescript-0.15.12-{{ date 'YYYY-MM-DD' }}-
+            type=sha,format=short,prefix=debian-stable-purescript-0.15.15-{{ date 'YYYY-MM-DD' }}-
             type=raw,value=latest,enable={{is_default_branch}}
 
       - name: Build, tag, and push image to GCR

Dockerfile

@@ -1,4 +1,4 @@
-FROM debian:stable-20230814-slim
+FROM debian:stable-20240423-slim
 
 ENV LANG="C.UTF-8" LANGUAGE="C.UTF-8" LC_ALL="C.UTF-8"
 
@@ -19,5 +19,5 @@ RUN apt-get update && \
 
 RUN mkdir -p ~/.ssh/ && ssh-keyscan -t ed25519 github.com >> ~/.ssh/known_hosts
 
-RUN npm install -g npm@10.2.3
-RUN npm install -g spago@next [email protected].12 [email protected] [email protected] esbuild@0.19.5
+RUN npm install -g npm@10.5.2
+RUN npm install -g spago@next [email protected].15 [email protected] [email protected] esbuild@0.20.2