add proxy

DeepLink-org · Jan 17, 2024 · 8351804 · 8351804
1 parent b02bcc7
commit 8351804
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dipu/scripts/ci/nv/ci_nv_tidy.sh b/dipu/scripts/ci/nv/ci_nv_tidy.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 set -euo pipefail
-
+source /mnt/cache/share/deeplinkci/github/proxy_on
 # Require Git.
 [ -x "$(command -v git)" ] || (echo "missing git tool" && exit 1)