apluslms/grading-z3:latest

Languages & frameworks

Machine learning & AI

Data science

Manifest digest

sha256:cd2bdd890e35b2bf281a9b6af11e8bec1def6c8342be2c5272702c5c36a6da37

OS/ARCH

linux/amd64

Compressed size

134.42 MB

Last pushed

10 days by apluslms

Type

Image

Manifest digest

sha256:cd2bdd890e35b2bf281a9b6af11e8bec1def6c8342be2c5272702c5c36a6da37

Image Layers

1# debian.sh --arch 'amd64' out/28.4 MB

2ENV LANG=C.UTF-8 USER=root HOME=/root0 B

3COPY rootfs / # buildkit1.01 KB

4RUN /bin/sh -c apt_install 38.5 MB

5COPY bin /usr/local/bin # buildkit6.45 KB

6WORKDIR /submission32 B

7ENTRYPOINT ["/gw"]0 B

8CMD ["/exercise/run.sh"]0 B

9COPY rootfs / # buildkit240 B

10ARG GRADER_UTILS_VER=5.00 B

11RUN |1 GRADER_UTILS_VER=5.0 /bin/sh -c30.16 MB

12ENV PATH=/usr/local/venv_grader/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B

13COPY bin /usr/local/bin # buildkit1.99 KB

14CMD ["run-all-unittests"]0 B

15ARG VERSION=5.3.3.00 B

16RUN |1 VERSION=5.3.3.0 /bin/sh -c37.35 MB

Command

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