apluslms/grading-minizinc:2.6.4-4.5

Languages & frameworks

Integration & delivery

Data science

Manifest digest

sha256:776bd0db392f13597785d7c64707407ba3c64b6118d53fea88f08204423d654d

OS/ARCH

linux/amd64

Compressed size

210.57 MB

Last pushed

about 4 years by apluslms

Type

Image

Manifest digest

sha256:776bd0db392f13597785d7c64707407ba3c64b6118d53fea88f08204423d654d

Image Layers

1ADD file ... in / 29.93 MB

2CMD ["bash"]0 B

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

4COPY rootfs / # buildkit1.01 KB

5RUN /bin/sh -c apt_install 27.84 MB

6COPY bin /usr/local/bin # buildkit6.13 KB

7WORKDIR /submission32 B

8ENTRYPOINT ["/gw"]0 B

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

10COPY dir:ce9fdcd7570e6d23a54851b5c7f22711300c7bbd827428c819ff105e622a8746 in / 230 B

11ARG GRADER_UTILS_VER=4.60 B

12|1 GRADER_UTILS_VER=4.6 /bin/sh -c apt_install17.86 MB

13COPY dir:c070369e79d8b59ae4edd66b62bc5014c4219fcdc714b1fc0bc8627d809cc0a3 in /usr/local/bin 1.84 KB

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

15ARG VERSION=2.6.40 B

16ARG NAME=MiniZincIDE-2.6.4-bundle-linux-x86_640 B

17RUN |2 VERSION=2.6.4 NAME=MiniZincIDE-2.6.4-bundle-linux-x86_64 /bin/sh83.23 MB

18RUN |2 VERSION=2.6.4 NAME=MiniZincIDE-2.6.4-bundle-linux-x86_64 /bin/sh51.7 MB

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

Command

ADD file:7726efb0e0eb5003dbcf2967ec29364479eec8b41f2569ff189372153115b54b in /