"docs/source/Tutorial/InstallationWin.rst" did not exist on "0d3802ae78e797c9c6deea76ba176c17ecb59307"
Unverified Commit d9a0f131 authored by Xuehai Pan's avatar Xuehai Pan Committed by GitHub
Browse files

[CI] use Python urllib to download file instead of Wget (#1154)

parent 4efd2d2d
...@@ -298,8 +298,9 @@ jobs: ...@@ -298,8 +298,9 @@ jobs:
echo "Using run-clang-tidy from $(command -v run-clang-tidy)" echo "Using run-clang-tidy from $(command -v run-clang-tidy)"
CLANG_TIDY=(run-clang-tidy) CLANG_TIDY=(run-clang-tidy)
else else
echo "Downloading run-clang-tidy script" RCT_URL=https://raw.githubusercontent.com/llvm/llvm-project/refs/heads/release/21.x/clang-tools-extra/clang-tidy/tool/run-clang-tidy.py
wget -O run-clang-tidy.py https://raw.githubusercontent.com/llvm/llvm-project/refs/heads/release/21.x/clang-tools-extra/clang-tidy/tool/run-clang-tidy.py echo "Downloading run-clang-tidy script from ${RCT_URL}"
echo "import urllib.request; url = '${RCT_URL}'.rstrip('/'); urllib.request.urlretrieve(url, url.split('/')[-1])" | uv run --no-project --script -
CLANG_TIDY=(uv run --no-project --script -- run-clang-tidy.py) CLANG_TIDY=(uv run --no-project --script -- run-clang-tidy.py)
fi fi
if [[ -x "$(command -v clang-apply-replacements)" ]]; then if [[ -x "$(command -v clang-apply-replacements)" ]]; then
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment