mirror of
https://github.com/servo/servo.git
synced 2025-08-06 22:15:33 +01:00
Update web-platform-tests to revision 74bae78af4b95a2f0ca3a81df9c7fe3143f24bbc
This commit is contained in:
parent
fb95f9df9c
commit
02c1eed999
150 changed files with 2395 additions and 829 deletions
|
@ -6,8 +6,10 @@ from hypothesis import settings, HealthCheck
|
|||
impl = platform.python_implementation()
|
||||
|
||||
settings.register_profile("ci", settings(max_examples=1000,
|
||||
deadline=None,
|
||||
suppress_health_check=[HealthCheck.too_slow]))
|
||||
settings.register_profile("pypy", settings(suppress_health_check=[HealthCheck.too_slow]))
|
||||
settings.register_profile("pypy", settings(deadline=None,
|
||||
suppress_health_check=[HealthCheck.too_slow]))
|
||||
|
||||
settings.load_profile(os.getenv("HYPOTHESIS_PROFILE",
|
||||
"default" if impl != "PyPy" else "pypy"))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue