diff --git a/Jenkinsfile b/Jenkinsfile
index 1f8f5a4..fb2ee03 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,7 +110,7 @@ spec:
           sh '''
             set -eu
             apt-get update >/dev/null
-            apt-get install -y --no-install-recommends jq python3 >/dev/null
+            apt-get install -y --no-install-recommends jq python3 ripgrep >/dev/null
             mkdir -p build
             python3 - <<'PY'
 import base64