use curl

Signed-off-by: Max SCHMELLER <[email protected]>
tier4 · Dec 4, 2024 · 8d20c29 · 8d20c29
1 parent 5abf992
commit 8d20c29
Showing 1 changed file with 6 additions and 3 deletions.
diff --git 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