From 4eacb4e75670225cf6fd0a4288af98b74b4d0f7e Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Thu, 9 Oct 2025 08:59:30 +0200
Subject: [PATCH] jenkins: Use devenv shell to run sops

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 706ce0a..0c83407 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -35,7 +35,7 @@ pipeline {
                                 stage('Decrypt keys') {
                                     steps {
                                         dir("fdroid-repo") {
-                                            sh './decrypt.sh'
+                                            sh 'devenv shell ./decrypt.sh'
                                         }
                                     }
                                 }