build
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed

This commit is contained in:
Michael Zhang 2023-10-11 17:19:05 -05:00
parent 1e5bef0b6f
commit 5319b38560

View file

@ -1,5 +1,25 @@
FROM git.mzhang.io/michael/agda:2.6.4-x86_64
FROM node:18-alpine
FROM node:18-alpine AS node
RUN apk add --update git
RUN npm install -g pnpm
FROM node AS astro-build
WORKDIR /tmp
RUN git clone https://git.mzhang.io/michael/astro --depth 1
WORKDIR /tmp/astro
RUN pnpm install
RUN pnpm run build
RUN rm -rf node_modules
FROM node
COPY --from=0 /usr/bin/agda /usr/bin/agda
COPY --from=0 /agda/.stack-work/install/x86_64-linux-musl/099dc152e5f5edaf6e084b385953a851d037c26c20471a6eefaa57c4704a9540/9.4.7/share/x86_64-linux-ghc-9.4.7/Agda-2.6.4/lib /agda/.stack-work/install/x86_64-linux-musl/099dc152e5f5edaf6e084b385953a851d037c26c20471a6eefaa57c4704a9540/9.4.7/share/x86_64-linux-ghc-9.4.7/Agda-2.6.4/lib
COPY --from=astro-build /tmp/astro /tmp/astro
WORKDIR /tmp/astro
RUN pnpm link --global
WORKDIR /