File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3535 images : |
3636 ghcr.io/flipstone/purescript-tools
3737 tags : |
38- type=sha,format=short,prefix=debian-stable -purescript-0.15.15-{{ date 'YYYY-MM-DD' }}-
38+ type=sha,format=short,prefix=debian-trixie -purescript-0.15.15-{{ date 'YYYY-MM-DD' }}-
3939 type=raw,value=latest,enable={{is_default_branch}}
4040
4141 - name : Build, tag, and push image to GCR
Original file line number Diff line number Diff line change 1- FROM debian:stable-20241016 -slim
1+ FROM debian:trixie-20250721 -slim
22
33ENV LANG="C.UTF-8" LANGUAGE="C.UTF-8" LC_ALL="C.UTF-8"
44
55ARG DEBIAN_FRONTEND=noninteractive
66RUN apt-get update && \
77 apt-get install -y -qq --no-install-recommends \
8- ca-certificates curl lsb-release gnupg apt-transport-https git openssh-client && \
8+ ca-certificates curl lsb-release gnupg apt-transport-https git openssh-client wget && \
99 apt-get clean
1010
1111RUN mkdir -p /etc/apt/keyrings
@@ -19,5 +19,5 @@ RUN apt-get update && \
1919
2020RUN mkdir -p ~/.ssh/ && ssh-keyscan -t ed25519 github.com >> ~/.ssh/known_hosts
2121
22- RUN npm install -g npm@11.0.0
23- RUN npm install -g spago@0.93.41 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.24.2 purs-tidy@0.11.0
22+ RUN npm install -g npm@11.5.2
23+ RUN npm install -g spago@0.93.44 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.25.9 purs-tidy@0.11.0
You can’t perform that action at this time.
0 commit comments