SuccessConsole Output

[PLA-stage_2-merge_v10.0] Running shell script
+ docker build -t osm/pla-v10.0 .
Sending build context to Docker daemon  52.11MB

Step 1/11 : FROM ubuntu:20.04
 ---> f78909c2b360
Step 2/11 : ARG APT_PROXY
 ---> Using cache
 ---> ad00a18b3e37
Step 3/11 : RUN if [ ! -z $APT_PROXY ] ; then     echo "Acquire::http::Proxy \"$APT_PROXY\";" > /etc/apt/apt.conf.d/proxy.conf ;    echo "Acquire::https::Proxy \"$APT_PROXY\";" >> /etc/apt/apt.conf.d/proxy.conf ;    fi
 ---> Using cache
 ---> 55e644c707a2
Step 4/11 : RUN DEBIAN_FRONTEND=noninteractive apt-get update &&     DEBIAN_FRONTEND=noninteractive apt-get -y install         debhelper         dh-python         git         python3         python3-all         python3-dev         python3-setuptools
 ---> Using cache
 ---> a0f39ec4f70d
Step 5/11 : RUN python3 -m easy_install pip==21.3.1
 ---> Using cache
 ---> f5c9de6befb7
Step 6/11 : RUN pip install tox==3.24.5
 ---> Using cache
 ---> 0a34de9e5230
Step 7/11 : ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz


 ---> 47633e38ee6e
Step 8/11 : RUN tar -zxf /minizinc.tgz &&     mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
 ---> Running in 03c11217930b
Removing intermediate container 03c11217930b
 ---> dada145f16ef
Step 9/11 : RUN mkdir /entry_data     && mkdir /entry_data/mzn-lib     && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
 ---> Running in 811964524a19
Removing intermediate container 811964524a19
 ---> 31b18afae75d
Step 10/11 : ENV FZNEXEC "/entry_data/fzn-exec"
 ---> Running in cf81268532b3
Removing intermediate container cf81268532b3
 ---> f3fee8a56b1a
Step 11/11 : ENV PATH "/minizinc/bin:${PATH}"
 ---> Running in 3e907ea62349
Removing intermediate container 3e907ea62349
 ---> b9fb1cdea95d
Successfully built b9fb1cdea95d
Successfully tagged osm/pla-v10.0:latest