apluslms/grading-minizinc:2.3.1-3.0

Languages & frameworks

Integration & delivery

Data science

Manifest digest

sha256:c7ab4de631a508ca52b6cec8c91b5ca386097ecde902d73c617325b12207a930

OS/ARCH

linux/amd64

Compressed size

281.18 MB

Last pushed

about 7 years by apluslms

Type

Image

Manifest digest

sha256:c7ab4de631a508ca52b6cec8c91b5ca386097ecde902d73c617325b12207a930

Image Layers

1ADD file ... in / 25.84 MB

2CMD ["bash"]0 B

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

4COPY dir:be49393e8831cc5fd00b704cc2497ab5837de749977f3c36c68816d9d602fd1a in / 946 B

5/bin/sh -c apt_install 30.74 MB

6COPY dir:8f0cedcef149eb9f4675c1b0914f412dc81b16d251ffa439ff3bceb22ad77403 in /usr/local/bin 5.87 KB

7WORKDIR /submission0 B

8ENTRYPOINT ["/gw"]0 B

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

10COPY dir:1004e69fb4f3fe421996da71f47f8e72b3d3bea4a9b57258aae8f026b61f4bf1 in /usr/local/sbin 241 B

11ARG GRADER_UTILS_VER=3.2.30 B

12|1 GRADER_UTILS_VER=3.2.3 /bin/sh -c apt_install13.55 MB

13COPY dir:9eff8d6de330dade367fee97e8a4796fc2f052c61605d98f5b49dbb6b7ffdb96 in /usr/local/bin 1.09 KB

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

15/bin/sh -c apt-get update -qqy56.2 MB

16/bin/sh -c apt-get update -qqy59.95 MB

17ARG VERSION=2.3.10 B

18ARG NAME=MiniZincIDE-2.3.1-bundle-linux0 B

19|2 NAME=MiniZincIDE-2.3.1-bundle-linux VERSION=2.3.1 /bin/sh -c94.89 MB

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

Command

ADD file:330bfb91168adb4a9b1296c70209ed487d4c2705042a916d575f82b61ab16e61 in /