From 3d7b48362e45f38e6702720781c2df3793581897 Mon Sep 17 00:00:00 2001
From: Guglielmo Gagliardi <guglielmo.gagliardi@cscs.ch>
Date: Mon, 6 May 2024 15:51:21 +0200
Subject: [PATCH] add ripgrep download directly

---
 .github/workflows/check_format.yml | 8 --------
 .github/workflows/inshpect.yml     | 9 ++++++++-
 2 files changed, 8 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/check_format.yml b/.github/workflows/check_format.yml
index a970d1af7f..6ae8ed05a7 100644
--- a/.github/workflows/check_format.yml
+++ b/.github/workflows/check_format.yml
@@ -37,14 +37,6 @@ jobs:
           mv dasel /usr/local/bin
           popd
 
-          pushd /tmp
-          curl --output ripgrep.tar.gz \
-            --location https://github.com/BurntSushi/ripgrep/releases/download/13.0.0/ripgrep-13.0.0-x86_64-unknown-linux-musl.tar.gz
-          echo "ee4e0751ab108b6da4f47c52da187d5177dc371f0f512a7caaec5434e711c091 ripgrep.tar.gz" | sha256sum --check
-          tar --extract --strip-components 1 --file ripgrep.tar.gz
-          mv rg /usr/local/bin
-          popd
-
       - name: Fetch master
         run: git fetch --no-tags --depth=1 origin +refs/heads/master:refs/heads/master
 
diff --git a/.github/workflows/inshpect.yml b/.github/workflows/inshpect.yml
index fc4b6d0343..4c60f6e59c 100644
--- a/.github/workflows/inshpect.yml
+++ b/.github/workflows/inshpect.yml
@@ -19,7 +19,7 @@ jobs:
         run: |
           set -x
           sudo apt-get update
-          sudo apt-get install -y fd-find ripgrep
+          sudo apt-get install -y fd-find
           wget -q https://github.com/TomWright/dasel/releases/download/v2.7.0/dasel_linux_amd64 -O /tmp/dasel
           sudo mv /tmp/dasel /usr/local/bin/dasel
           sudo chmod +x /usr/local/bin/dasel
@@ -31,6 +31,13 @@ jobs:
           chmod +x inshpect
           mv inshpect /usr/local/bin
           popd
+          pushd /tmp
+          curl --output ripgrep.tar.gz \
+            --location https://github.com/BurntSushi/ripgrep/releases/download/13.0.0/ripgrep-13.0.0-x86_64-unknown-linux-musl.tar.gz
+          echo "ee4e0751ab108b6da4f47c52da187d5177dc371f0f512a7caaec5434e711c091 ripgrep.tar.gz" | sha256sum --check
+          tar --extract --strip-components 1 --file ripgrep.tar.gz
+          mv rg /usr/local/bin
+          popd
       - name: Checkout
         uses: actions/checkout@v4
       - name: Inshpect