From 8d20c292513af1b3572ea84bf387d52f79c42903 Mon Sep 17 00:00:00 2001 From: Max SCHMELLER Date: Wed, 4 Dec 2024 19:18:29 +0900 Subject: [PATCH] use curl Signed-off-by: Max SCHMELLER --- .github/workflows/build-and-test-differential.yaml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build-and-test-differential.yaml b/.github/workflows/build-and-test-differential.yaml index f5db28d49..93a7d6fd0 100644 --- a/.github/workflows/build-and-test-differential.yaml +++ b/.github/workflows/build-and-test-differential.yaml @@ -106,9 +106,12 @@ jobs: env: VERSION: 1.2.0 run: | - wget https://github.com/facebook/infer/releases/download/v${VERSION}/infer-linux-x86_64-v${VERSION}.tar.xz - tar -xvf infer-linux-x86_64-v${VERSION}.tar.xz - sudo mv infer-linux-x86_64-v${VERSION} /usr/local/infer + export BASENAME="infer-linux-x86_64-v${VERSION}" + export FILENAME="${BASENAME}.tar.xz" + curl -sSLO "https://github.com/facebook/infer/releases/download/v${VERSION}/${FILENAME}" + tar -xf "$FILENAME" + rm "$FILENAME" + sudo mv "$BASENAME" /usr/local/infer echo "PATH=/usr/local/infer/bin:$PATH" >> $GITHUB_ENV - name: Debug log