From 6635baddd6f4e4d8de21cf8e5dfe505f364d1833 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Mon, 12 Feb 2024 15:23:54 +0100
Subject: [PATCH] fix for CI embedded compilation

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

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