mirror of
https://github.com/servo/servo.git
synced 2025-08-10 16:05:43 +01:00
Update web-platform-tests to revision a46616a5b18e83587ddbbed756c7b96cbb4b015d
This commit is contained in:
parent
3f07cfec7c
commit
578498ba24
4001 changed files with 159517 additions and 30260 deletions
|
@ -5,9 +5,8 @@ from hypothesis import settings, HealthCheck
|
|||
|
||||
impl = platform.python_implementation()
|
||||
|
||||
settings.register_profile("ci", settings(max_examples=1000))
|
||||
settings.register_profile("ci_pypy", settings(max_examples=1000,
|
||||
suppress_health_check=[HealthCheck.too_slow]))
|
||||
settings.register_profile("ci", settings(max_examples=1000,
|
||||
suppress_health_check=[HealthCheck.too_slow]))
|
||||
settings.register_profile("pypy", settings(suppress_health_check=[HealthCheck.too_slow]))
|
||||
|
||||
settings.load_profile(os.getenv("HYPOTHESIS_PROFILE",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue