From aeb605d27e17aea031a4205b5250c6a9bd2387bd Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Sat, 18 Apr 2026 17:44:38 -0300
Subject: [PATCH] ci(jenkins): install ripgrep for smell checks

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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