[ci] Install ripgrep dependency (#2514)

gherrit-pr-id: I3d8bc60639db3aab2668e23b680d01ca0d32efc4

Author: joshlf

.github/workflows/ci.yml

@@ -778,6 +778,10 @@ jobs:
     runs-on: ubuntu-latest
     name: Check for todo comments
     steps:
+      - name: Install ripgrep
+        run: |
+         sudo apt-get update
+         sudo apt-get install ripgrep
       - uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
       - name: Run todo check
         run: ./ci/check_todo.sh
@@ -788,6 +792,10 @@ jobs:
     steps:
       - name: Install yq (for YAML parsing)
         run: go install github.com/mikefarah/yq/v4@latest
+      - name: Install ripgrep
+        run: |
+         sudo apt-get update
+         sudo apt-get install ripgrep
       - uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
       - name: Run dependency check
         # Ensure that Git hooks execute successfully.

ci/check_todo.sh

@@ -16,6 +16,10 @@ set -euo pipefail
 # would mean that we couldn't use XODO comments in this script.
 KEYWORD=$(echo XODO | sed -e 's/X/T/')
 
+# Make sure `rg` is installed (if this fails, `set -e` above will cause the
+# script to exit).
+rg --version >/dev/null
+
 # -H: Print filename (default for multiple files/recursive)
 # -n: Print line number
 # -w: Match whole words