diff --git a/Jenkinsfile b/Jenkinsfile
index 0671a71401..3cbcd0483e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -6,6 +6,7 @@ pipeline {
     PATH = "/usr/local/bin:/usr/bin:/bin"
     CC = "mpicc"
     FIREDRAKE_CI_TESTS = "1"
+    PYTHONHASHSEED = "12453221"
   }
   stages {
     stage('Clean') {