From 463fac575a8a0c0831cf42c72cc03de431a93f29 Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <Philippe.Zwietering@prorail.nl>
Date: Tue, 8 Sep 2026 17:31:59 +0200
Subject: [PATCH] build: Release vlag voor cargo check

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2a54e57..7e5cc73 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
   stages {
     stage('Check') {
       steps {
-        sh 'cargo check --target wasm32-unknown-unknown'
+        sh 'cargo check -r --target wasm32-unknown-unknown'
         sh 'cargo tree -e features --target wasm32-unknown-unknown'
       }
     }