Change boost download server (#346)

Update boost download server
C2SM · Jan 8, 2024 · 835da45 · 835da45
1 parent c879a10
commit 835da45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/docker/Dockerfile.build b/ci/docker/Dockerfile.build
@@ -28,7 +28,7 @@ RUN apt-get update -qq && apt-get install -qq -y --no-install-recommends \
     htop && \
     rm -rf /var/lib/apt/lists/*
 
-RUN wget --quiet https://boostorg.jfrog.io/artifactory/main/release/1.72.0/source/boost_1_72_0.tar.gz && \
+RUN wget --quiet -O boost_1_72_0.tar.gz https://sourceforge.net/projects/boost/files/boost/1.72.0/boost_1_72_0.tar.gz/download && \
     echo c66e88d5786f2ca4dbebb14e06b566fb642a1a6947ad8cc9091f9f445134143f boost_1_72_0.tar.gz > boost_hash.txt && \
     sha256sum -c boost_hash.txt && \
     tar xzf boost_1_72_0.tar.gz && \