dev:tools:ci:master,binaries: install ripgrep for checkembeddedfiles

This commit is contained in:
Simon Michael 2023-06-02 11:12:45 -10:00
parent 7bbda90e2c
commit c2c668e3a7
3 changed files with 2 additions and 5 deletions

View File

@ -37,6 +37,7 @@ jobs:
- name: Check embedded files
run: |
brew install ripgrep
tools/checkembeddedfiles
if: env.CONTINUE

View File

@ -31,11 +31,6 @@ jobs:
- name: Confirm all remaining steps should run
run: echo "CONTINUE=true" >> $GITHUB_ENV
- name: Check embedded files
run: |
tools/checkembeddedfiles
if: env.CONTINUE
# things to be cached/restored:
- name: Cache stack global package db

View File

@ -123,6 +123,7 @@ jobs:
- name: Check embedded files
run: |
sudo apt install -y ripgrep
tools/checkembeddedfiles
if: env.CONTINUE