Console Output
[PLA-stage_2-merge_master] Running shell script
+ docker build --build-arg APT_PROXY=http://172.21.1.1:3142 -t osm/pla-master .
Sending build context to Docker daemon 154.7MB
Step 1/11 : FROM ubuntu:22.04
---> 52882761a72a
Step 2/11 : ARG APT_PROXY
---> Using cache
---> d8be122d3e42
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
---> 80bcbdac0f70
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 python3-pip tox
---> Using cache
---> 48099a4425a1
Step 5/11 : ENV LC_ALL C.UTF-8
---> Using cache
---> 45d36c1e4798
Step 6/11 : ENV LANG C.UTF-8
---> Using cache
---> a582202f7242
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
---> 002bac4a022c
Step 8/11 : RUN tar -zxf /minizinc.tgz && mv /MiniZincIDE-2.4.2-bundle-linux /minizinc
---> Running in b1fcc07dfba7
Removing intermediate container b1fcc07dfba7
---> eebf8595a863
Step 9/11 : RUN mkdir /entry_data && mkdir /entry_data/mzn-lib && ln -s /entry_data/mzn-lib /minizinc/share/minizinc/exec
---> Running in 050e159063cc
Removing intermediate container 050e159063cc
---> 0738984fc331
Step 10/11 : ENV FZNEXEC "/entry_data/fzn-exec"
---> Running in b916ccc39e66
Removing intermediate container b916ccc39e66
---> c097e01b82f0
Step 11/11 : ENV PATH "/minizinc/bin:${PATH}"
---> Running in ec2de47c5b9d
Removing intermediate container ec2de47c5b9d
---> 256a04e07438
Successfully built 256a04e07438
Successfully tagged osm/pla-master:latest