From fbd8c9f990803284f625515a3bb077c085763a8d Mon Sep 17 00:00:00 2001 From: Philippe Zwietering Date: Sat, 5 Sep 2026 15:27:50 +0200 Subject: [PATCH] build: Fix van Jenkinsfile check --- Jenkinsfile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5885ef3..4c43752 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,10 +1,12 @@ pipeline { agent any stages { - stage('Check') { - sh 'cargo check' - } + stage('Check') { + steps { + sh 'cargo check' + } } + } post { cleanup { cleanWs()