From b07f2f377ad5e957a6f705e465703041a6673776 Mon Sep 17 00:00:00 2001
From: bQUARKz <bquarkz@gmail.com>
Date: Tue, 7 Apr 2026 09:30:16 +0100
Subject: [PATCH] update jenkinsfile

---
 files/config/Jenkinsfile | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/files/config/Jenkinsfile b/files/config/Jenkinsfile
index 8b9b30e9..ae86f36c 100644
--- 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
+                '''
             }
         }
     }