Run make check in Jenkins.

Author: elliottslaughter

Jenkinsfile

@@ -25,6 +25,7 @@ pipeline {
       python3 -m pip install pytest
       python3 -m pytest
     '''
+    sh 'make check'
       }
     }
   }