Remove hypo deadlines for slow CI runners.

Author: ayjayt

src/py/tests/conftest.py

@@ -1,10 +1,19 @@
 import logging
+import os
+import platform
 
 import logistro
 import pytest
+from hypothesis import HealthCheck, settings
 
 _logger = logistro.getLogger(__name__)
 
+settings.register_profile(
+    "ci",
+    deadline=None,  # no per-example deadline
+    suppress_health_check=(HealthCheck.too_slow,),  # avoid flaky "too slow" on CI
+)
+
 
 # pytest shuts down its capture before logging/threads finish
 @pytest.fixture(scope="session", autouse=True)
@@ -19,3 +28,8 @@ def cleanup_logging_handlers(request):
                 handler.flush()
                 if isinstance(handler, logging.StreamHandler):
                     logging.root.removeHandler(handler)
+
+
+is_ci = os.getenv("GITHUB_ACTIONS") == "true" or os.getenv("CI") == "true"
+if is_ci and platform.system in {"Windows", "Darwin"}:
+    settings.load_profile("ci")