From 36fdbd6cef541aeaa83800de388f357bc91b0632 Mon Sep 17 00:00:00 2001
From: Elliott Slaughter <slaughter@cs.stanford.edu>
Date: Mon, 14 Feb 2022 14:13:01 -0800
Subject: [PATCH] Run make check in Jenkins.

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

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'
       }
     }
   }