apluslms/grading-minizinc:latest

Languages & frameworks

Integration & delivery

Data science

Manifest digest

sha256:58388d391a9e96de63afe2372a13174fc4f1dd242eb2f7095d60a8a3592b4994

OS/ARCH

linux/amd64

Compressed size

275.26 MB

Last pushed

about 1 month by apluslms

Type

Image

Manifest digest

sha256:58388d391a9e96de63afe2372a13174fc4f1dd242eb2f7095d60a8a3592b4994

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=2.10.10 B

16ARG NAME=MiniZincIDE-2.10.1-x86_64-linux-gnu0 B

17RUN |2 VERSION=2.10.1 NAME=MiniZincIDE-2.10.1-x86_64-linux-gnu /bin/sh103.66 MB

18RUN |2 VERSION=2.10.1 NAME=MiniZincIDE-2.10.1-x86_64-linux-gnu /bin/sh74.53 MB

19ENV MZN_STDLIB_DIR=/usr/local/share/minizinc/0 B

20ENV LD_LIBRARY_PATH=/usr/local/lib/minizinc0 B

Command

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