michael
/
blog
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

add packages
ci/woodpecker/push/woodpecker Pipeline failed Details

This commit is contained in:
Michael Zhang 2023-10-11 17:30:50 -05:00
parent b33ba945b6
commit 948c982418
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
utils/builder.Dockerfile
View File

@ -18,7 +18,9 @@ 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
WORKDIR /tmp/astro/packages/astro
RUN pnpm link --global
WORKDIR /tmp/astro/packages/markdown/remark
RUN pnpm link --global
WORKDIR /