diff --git a/tests/conftest.py b/tests/conftest.py index d6a773be..3b436fc3 100644 --- a/tests/conftest.py +++ b/tests/conftest.py @@ -1,4 +1,5 @@ import os +import platform from hypothesis import settings @@ -6,8 +7,14 @@ if "CI" in os.environ: # CI can be slow, so be patient # Also we can run more tests there + + max_examples = settings.default.max_examples * 5 + if platform.python_implementation() == "PyPy": + # PyPy is too slow + max_examples = settings.default.max_examples + settings.register_profile( "ci", deadline=settings.default.deadline * 10, - max_examples=settings.default.max_examples * 5) + max_examples=max_examples) settings.load_profile("ci")