diff --git a/Jenkinsfile b/Jenkinsfile
index 27f1731..d14e043 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -112,7 +112,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
               set +e
               bash scripts/check.sh