Skip to content

Commit

Permalink
add ripgrep download directly
Browse files Browse the repository at this point in the history
  • Loading branch information
Guglielmo Gagliardi committed May 6, 2024
1 parent d6d367d commit 3d7b483
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 9 deletions.
8 changes: 0 additions & 8 deletions .github/workflows/check_format.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
9 changes: 8 additions & 1 deletion .github/workflows/inshpect.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 3d7b483

Please sign in to comment.