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'
                                         }
                                     }
                                 }