sha256:efa8de220af2579944a8ab25fcdfac6ce8d0c45b4e6c4e61ef8eaaa92ddd21cc
OS/ARCH
linux/amd64
Compressed size
8.63 GB
Last pushed
almost 2 years by liusiyao
Type
Image
Manifest digest
sha256:efa8de220af2579944a8ab25fcdfac6ce8d0c45b4e6c4e61ef8eaaa92ddd21cc
Image Layers
1ARG RELEASE0 B2ARG LAUNCHPAD_BUILD_ARCH0 B3LABEL org.opencontainers.image.ref.name=ubuntu0 B4LABEL org.opencontainers.image.version=20.040 B5ADD file ... in / 26.24 MB6CMD ["/bin/bash"]0 B7ENV DEBIAN_FRONTEND=noninteractive0 B8RUN /bin/sh -c apt-get update258.09 MB9COPY ./scripts/install-miniconda.sh ./scripts/install-miniconda.sh # buildkit395 B10RUN /bin/sh -c bash ./scripts/install-miniconda.sh240.2 MB11ENV PATH=/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B12RUN /bin/sh -c curl -sSL71.49 MB13ENV PATH=/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B14RUN /bin/sh -c curl -o70.61 MB15ENV PATH=/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B16RUN /bin/sh -c curl -o45.78 MB17ENV PATH=/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B18ENV NODE_PATH=/usr/local/lib/node_modules0 B19RUN /bin/sh -c npm install22.26 MB20RUN /bin/sh -c apt-get install24.79 MB21RUN /bin/sh -c curl -o8.71 MB22ENV PATH=/usr/bin/openssl:/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B23RUN /bin/sh -c curl -o189.14 MB24RUN /bin/sh -c wget https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb206.37 MB25RUN /bin/sh -c apt-get install3.92 MB26RUN /bin/sh -c curl https://sh.rustup.rs251.05 MB27ENV PATH=/root/.cargo/bin:/usr/bin/openssl:/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B28RUN /bin/sh -c apt-get install296.8 MB29RUN /bin/sh -c wget https://netcologne.dl.sourceforge.net/project/d-apt/files/d-apt.list23.35 MB30RUN /bin/sh -c curl -o79.84 MB31ENV PATH=/usr/local/kotlin/kotlinc/bin:/root/.cargo/bin:/usr/bin/openssl:/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B32RUN /bin/sh -c cd /workspace160.53 MB33RUN /bin/sh -c curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh270.97 MB34ENV PATH=/root/.elan/bin:/usr/local/kotlin/kotlinc/bin:/root/.cargo/bin:/usr/bin/openssl:/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B35RUN /bin/sh -c apt-get update92.51 MB36RUN /bin/sh -c curl -o593.14 MB37ENV PATH=/usr/local/swift/bin:/root/.elan/bin:/usr/local/kotlin/kotlinc/bin:/root/.cargo/bin:/usr/bin/openssl:/usr/local/lib/nodejs/node/bin:/bin:/usr/local/go/bin:/root/.local/bin:/root/miniconda3/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B38SHELL [sh -lc]0 B39RUN sh -lc update-alternatives --install3.45 KB40COPY ./runtime/go ./runtime/go # buildkit6.12 KB41RUN sh -lc cd ./runtime/go81.55 MB42COPY ./runtime/node /root/sandbox/runtime/node # buildkit58.53 KB43RUN sh -lc cd /root/sandbox/runtime/node274.33 MB44RUN sh -lc dotnet new121.18 KB45COPY ./runtime/lean /root/sandbox/runtime/lean # buildkit1.64 KB46RUN sh -lc cd /root/sandbox/runtime/lean969.06 MB47COPY ./runtime/python ./runtime/python # buildkit1.97 KB48RUN sh -lc cd ./runtime/python4.24 GB49ENV QT_QPA_PLATFORM=offscreen0 B50ENV OMP_NUM_THREADS=20 B51COPY ./ /root/sandbox # buildkit52.52 MB52WORKDIR /root/sandbox32 B53RUN sh -lc poetry config179.91 MB54RUN sh -lc useradd -m4.6 KB55CMD ["sh" "-lc" "bash /root/sandbox/scripts/run.sh"]0 BCommand
ARG RELEASE