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