update jenkinsfile

2026-04-07 09:30:16 +01:00 · 2026-04-07 09:30:16 +01:00 · b07f2f377a
commit b07f2f377a
parent 56c59634b2
1 changed files with 9 additions and 7 deletions
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@ -1,20 +1,22 @@
 pipeline {
-    agent {
-        docker {
-            image 'rust:stable'
-        }
-    }
+    agent any

    stages {
        stage('Setup') {
            steps {
                giteaStatus status: 'PENDING', context: 'ci/jenkins'
-                sh 'rustup component add clippy rustfmt'
+                sh '''
+                    set -e
+                    rustup component add clippy rustfmt
+                '''
            }
        }
        stage('CI') {
            steps {
-                sh 'make ci'
+                sh '''
+                    set -e
+                    make ci
+                '''
            }
        }
    }