diff --git a/Jenkinsfile b/Jenkinsfile
index 9d99de8d..1528d70e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,6 +25,7 @@ pipeline {
       python3 -m pip install pytest
       python3 -m pytest
     '''
+    sh 'make check'
       }
     }
   }