jenkins: add step to build devenv shell

2025-10-03 11:04:27 +02:00
parent 6b99166501
commit 6415756412
1 changed files with 5 additions and 0 deletions
--- a/5
+++ b/5
@@ -8,6 +8,11 @@ pipeline {
        cron('H/10 * * * *')
    }
    stages {
+        stage('Build devenv shell') {
+            steps {
+                sh 'devenv shell'
+            }
+        }
        stage('Parallel Build and Deploy') {
            parallel {
                stage('Android') {