From 002b277ae2a5762a5ae5f1d1b22d9540f88f44fc Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Mon, 6 Dec 2021 13:10:13 +0100
Subject: [PATCH] only use check instead of build for CI/CD

---
 automation/Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 56fd787..cad5b57 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
                 sh 'cargo fmt'
             }
         }
-        stage('Build') {
+        stage('Check') {
             agent {
                 dockerfile {
                     dir 'automation'
@@ -32,7 +32,7 @@ pipeline {
                 }
             }
             steps {
-                sh 'cargo build'
+                sh 'cargo check --target thumbv6m-none-eabi'
             }
         }
     }