Space

Author: roigcarlo

scripts/docker_files/docker_file_ci_ubuntu_20_04/DockerFile

@@ -76,10 +76,10 @@ RUN apt-get update -y && apt-get upgrade -y && \
     apt-get -y autoremove && \
     apt-get clean
 
-    # Install Boost (form zip)
-    RUN wget -P /workspace/boost https://archives.boost.io/release/1.87.0/source/boost_1_87_0.tar.gz &&\
-        tar -C /workspace/boost -xzf /workspace/boost/boost_1_87_0.tar.gz && \
-        rm /workspace/boost/boost_1_87_0.tar.gz
+# Install Boost (form zip)
+RUN wget -P /workspace/boost https://archives.boost.io/release/1.87.0/source/boost_1_87_0.tar.gz &&\
+    tar -C /workspace/boost -xzf /workspace/boost/boost_1_87_0.tar.gz && \
+    rm /workspace/boost/boost_1_87_0.tar.gz
 
 CMD [ "/bin/bash" ]
 

scripts/docker_files/docker_file_ci_ubuntu_22_04/DockerFile

@@ -80,10 +80,10 @@ RUN apt-get update -y && apt-get upgrade -y && \
     apt-get -y autoremove && \
     apt-get clean
 
-    # Install Boost (form zip)
-    RUN wget -P /workspace/boost https://archives.boost.io/release/1.87.0/source/boost_1_87_0.tar.gz && \
-        tar -C /workspace/boost -xzf /workspace/boost/boost_1_87_0.tar.gz && \
-        rm /workspace/boost/boost_1_87_0.tar.gz
+# Install Boost (form zip)
+RUN wget -P /workspace/boost https://archives.boost.io/release/1.87.0/source/boost_1_87_0.tar.gz && \
+    tar -C /workspace/boost -xzf /workspace/boost/boost_1_87_0.tar.gz && \
+    rm /workspace/boost/boost_1_87_0.tar.gz
 
 
 CMD [ "/bin/bash" ]