diff --git a/ci/Jenkinsfile.tests b/ci/Jenkinsfile.tests
index 942f71a9a4..6889645c05 100644
--- a/ci/Jenkinsfile.tests
+++ b/ci/Jenkinsfile.tests
@@ -54,10 +54,20 @@ pipeline {
     stage('Checks') {
       parallel {
         stage('Lint') {
-          steps { sh "make lint 2>&1 | tee ${LOG_FILE}" }
+          steps {
+            sh """#!/bin/bash
+              set -eo pipefail
+              make lint 2>&1 | tee ${LOG_FILE}
+            """
+          }
         }
         stage('Tests') {
-          steps { sh "make test 2>&1 | tee -a ${LOG_FILE}" }
+          steps {
+            sh """#!/bin/bash
+              set -eo pipefail
+              make test 2>&1 | tee -a ${LOG_FILE}
+            """
+          }
         }
       }
     }