From 6d0f71bc124e4ec6204b172bb4ad03fa22a71630 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Thu, 7 Dec 2023 01:00:07 +0100
Subject: [PATCH 1/2] try with build command

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

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 3570da8..7701e50 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -64,6 +64,7 @@ pipeline {
       steps {
         withEnv(['RUSTFLAGS=-Cinstrument-coverage', 'LLVM_PROFILE_FILE=target/coverage/%p-%m.profraw']) {
           echo "Executing tests with coverage"
+          sh 'cargo build --all-features'
           sh 'cargo test --all-features'
           sh 'grcov . -s . --binary-path ./target/debug -t html --branch --ignore-not-existing -o ./target/debug/coverage/'
           sshagent(credentials: ['documentation-buildfix']) {
-- 
2.34.1


From 4ee57c104b688b62cc0a38946a55fb09217d20ee Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Thu, 7 Dec 2023 01:05:40 +0100
Subject: [PATCH 2/2] delete stray file

---
 mod.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 mod.rs

diff --git a/mod.rs b/mod.rs
deleted file mode 100644
index e69de29..0000000
-- 
2.34.1