Sign inSign up

repolaunch/swechain:swerebenchv2__amaranth-lang-amaranth__1152-2d59242

Manifest digest

sha256:b3989f9b56a0bf800e2b228804f158e9d17b8de2b59901f1a82a9b85aa2b7667

OS/ARCH

linux/amd64

Compressed size

762.47 MB

Last pushed

2 months by repolaunch

Type

Image

Manifest digest

sha256:b3989f9b56a0bf800e2b228804f158e9d17b8de2b59901f1a82a9b85aa2b7667

Image Layers

Image Layers

1# debian.sh --arch 'amd64' out/30.33 MB
2ENV PATH=/usr/local/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
3ENV LANG=C.UTF-80 B
4RUN /bin/sh -c set -eux;1.27 MB
5ENV GPG_KEY=A035C8C19219BA821ECEA86B64E628F8D684696D0 B
6ENV PYTHON_VERSION=3.10.190 B
7ENV PYTHON_SHA256=c8f4a596572201d81dd7df91f70e177e19a70f1d489968b54b5fbbf29a97c0760 B
8RUN /bin/sh -c set -eux;13.67 MB
9RUN /bin/sh -c set -eux;267 B
10CMD ["python3"]0 B
11ARG DEBIAN_FRONTEND=noninteractive0 B
12ENV TZ=Etc/UTC0 B
13RUN |1 DEBIAN_FRONTEND=noninteractive /bin/sh -c157.11 MB
14ENV PIP_CACHE_DIR=/workspace/.cache/pip PYTHONPYCACHEPREFIX=/workspace/.cache/pycache XDG_CACHE_HOME=/workspace/.cache XDG_CONFIG_HOME=/workspace/.config0 B
15RUN |1 DEBIAN_FRONTEND=noninteractive /bin/sh -c14.74 MB
16RUN |1 DEBIAN_FRONTEND=noninteractive /bin/sh -c3.39 KB
17WORKDIR /workspace32 B
18ENV LANG=C.UTF-8 LC_ALL=C.UTF-80 B
19ENV PATH=/opt/conda/bin:$PATH0 B
20/bin/sh -c apt-get update --fix-missing0 B
21/bin/sh -c wget --quiet https://repo.anaconda.com/miniconda/Miniconda3-py312_24.7.1-0-Linux-x86_64.sh0 B
22COPY file:38d2cec6c3688d3db2fdf6a899d279ccf0f0bf78f9acc300722c98b6d67c4b26 in / 0 B
23COPY file:61604c43c292b48546055579c93885a922428ac04b5a3f2bd7c87a6a8208dbd4 in / 0 B
24/bin/sh -c mkdir -p /swebench_matterhorn0 B
25ENV NO_CONDA=1499.57 MB
26ENV PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/conda/bin:$PATH0 B
27/bin/sh -c <<-DOCKER_RUN_EOF set -eux; 0 B
28WORKDIR /amaranth0 B
29COPY file:05afb6c70f42d45267bf22b232179a64857fc8c03259776227df84841ac17a19 in /swebench_matterhorn/swebench_instance.json 45.79 MB
30/bin/sh106 B

Command

# debian.sh --arch 'amd64' out/ 'trixie' '@1766966400'