From 5204ee85bf0336c69dd582866fc5155207d16e6f Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Fri, 3 Oct 2025 11:41:31 +0200
Subject: [PATCH] jenkins: use devenv test to build shell

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 88ca3f6..08a41bb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,9 +8,9 @@ pipeline {
         cron('H/10 * * * *')
     }
     stages {
-        stage('Build devenv shell') {
+        stage('Test devenv') {
             steps {
-                sh 'devenv shell'
+                sh 'devenv test'
             }
         }
         stage('Parallel Build and Deploy') {