[None][infra] Fix boost issue and upgrade boost from 1.80.0 to 1.81.0

Signed-off-by: ZhanruiSunCh <[email protected]>

Author: ZhanruiSunCh

docker/common/install_triton.sh

@@ -4,13 +4,18 @@ set -ex
 
 CUDA_VER="13"
 
+GITHUB_URL="https://github.com"
+if [ -n "${GITHUB_MIRROR}" ]; then
+    GITHUB_URL=${GITHUB_MIRROR}
+fi
+
 install_boost() {
   # Install boost version >= 1.78 for boost::span
   # Current libboost-dev apt packages are < 1.78, so install from tar.gz
-  wget --retry-connrefused --timeout=180 --tries=10 --continue -O /tmp/boost.tar.gz https://archives.boost.io/release/1.80.0/source/boost_1_80_0.tar.gz \
+  wget --retry-connrefused --timeout=180 --tries=10 --continue -O /tmp/boost.tar.gz ${GITHUB_URL}/boostorg/boost/releases/download/boost-1.81.0/boost-1.81.0.tar.gz \
     && tar xzf /tmp/boost.tar.gz -C /tmp \
-    && mv /tmp/boost_1_80_0/boost /usr/include/boost \
-    && rm -rf /tmp/boost_1_80_0 /tmp/boost.tar.gz
+    && mv /tmp/boost-1.81.0/boost /usr/include/boost \
+    && rm -rf /tmp/boost-1.81.0 /tmp/boost.tar.gz
 }
 
 install_triton_deps() {