ci: no need to install ripgrep

This commit is contained in:
Simon Michael 2025-06-13 18:16:59 -10:00
parent 9cd633ace6
commit 2c733538d5
4 changed files with 0 additions and 15 deletions

View File

@ -26,7 +26,6 @@ jobs:
# - name: Check embedded files
# run: |
# apt install ripgrep
# tools/checkembeddedfiles
# things to be cached/restored:

View File

@ -27,7 +27,6 @@ jobs:
- name: Check embedded files
run: |
brew install ripgrep
tools/checkembeddedfiles
# caching

View File

@ -27,7 +27,6 @@ jobs:
- name: Check embedded files
run: |
brew install ripgrep
tools/checkembeddedfiles
# caching

View File

@ -123,20 +123,8 @@ jobs:
|| ( echo "could not identify commit range, continuing CI steps"; echo "do-all=true" >> $GITHUB_ENV )
# Can't uncache to /usr/bin:
# /usr/bin/tar -xf /home/runner/work/_temp/5cef703c-9831-41db-adb3-470b839f8a0e/cache.tzst -P -C /home/runner/work/hledger/hledger --use-compress-program unzstd
# /usr/bin/tar: ../../../../../usr/bin/rg: Cannot open: Permission denied
# - name: Cache - extra tools (ripgrep) in /usr/bin
# id: extratools
# uses: actions/cache@v4
# with:
# path: /usr/bin/rg
# key: ${{ runner.os }}-extratools # should have image version in there too
# if: env.do-all
- name: Check embedded files
run: |
if [[ ! -x /usr/bin/rg ]]; then sudo apt install -y ripgrep; fi
tools/checkembeddedfiles
if: env.do-all