From 5eb15c6548f45e48f4aa0324c81def29361e1cd7 Mon Sep 17 00:00:00 2001
From: Brad Stein <Brad.Stein@gmail.com>
Date: Sun, 19 Apr 2026 16:11:36 -0300
Subject: [PATCH] ci(soteria): install ripgrep for quality smell checks

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

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