From 0c242559f6970ffd0979f45ab7b21681cebbac6e Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Wed, 12 Jul 2023 14:06:47 +0200
Subject: [PATCH] only check no_std for satrs-core

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 41c4d46..44946f7 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -40,7 +40,7 @@ pipeline {
         }
         stage('Check Cross Embedded Bare Metal') {
             steps {
-                sh 'cargo check --target thumbv7em-none-eabihf --no-default-features'
+                sh 'cargo check -p satrs-core --target thumbv7em-none-eabihf --no-default-features'
             }
         }
         stage('Check Cross Embedded Linux') {