Update Dockerfile

This commit is contained in:
Victor Hall 2023-06-15 13:03:03 -04:00 committed by GitHub
parent 41509dcb3c
commit dadf881f9a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions

View File

@ -11,6 +11,12 @@ ENV PYTHONDONTWRITEBYTECODE=1
RUN mkdir /build
WORKDIR /build
# clean some disk space
RUN rm -rf /usr/share/dotnet
RUN rm -rf /opt/ghc
RUN rm -rf "/usr/local/share/boost"
RUN rm -rf "$AGENT_TOOLSDIRECTORY"
RUN rm -f /etc/apt/apt.conf.d/docker-clean; echo 'Binary::apt::APT::Keep-Downloaded-Packages "true";' > /etc/apt/apt.conf.d/keep-cache
RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \
--mount=type=cache,target=/var/lib/apt,sharing=locked \