From fe6a482f1dcd020d72c14fc8546be6090c74ad19 Mon Sep 17 00:00:00 2001
From: chenyu <chenyu@fastmail.com>
Date: Thu, 17 Apr 2025 16:34:10 -0400
Subject: [PATCH] pin hypothesis version to 6.131.0 (#9920)

6.131.1 seems to cause timeout in CI
---
 setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index db9ed81a4e..356450e0a4 100644
--- a/setup.py
+++ b/setup.py
@@ -12,7 +12,7 @@ testing_minimal = [
   "torch",
   "pytest",
   "pytest-xdist",
-  "hypothesis",
+  "hypothesis==6.131.0",
   "z3-solver",
 ]