From 8ffa7efa4dfc6af3c96ae5d566ec07bd36e5287e Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Tue, 10 Jan 2023 23:22:09 +0100
Subject: [PATCH] update jenkins CI

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 65fc15f..d2cefd7 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -15,17 +15,22 @@ pipeline {
         }
         stage('Rustfmt') {
             steps {
-                sh 'cargo fmt'
+                sh 'cargo fmt --all --check'
             }
         }
         stage('Test') {
             steps {
-                sh 'cargo test'
+                sh 'cargo test --all-features'
             }
         }
-        stage('Check') {
+        stage('Check with all features') {
             steps {
-                sh 'cargo check'
+                sh 'cargo check --all-features'
+            }
+        }
+        stage('Check with no features') {
+            steps {
+                sh 'cargo check --no-default-features'
             }
         }
         stage('Check Cross Embedded Bare Metal') {