Skip to content

Conversation

@charles-cooper
Copy link
Member

as of hypothesis 6.130.0, nesting @given is a health check error. we should probably fix this as it is a performance issue in the CI, but for now, just suppress it.

references:

What I did

How I did it

How to verify it

Commit message

Commit message for the final, squashed PR. (Optional, but reviewers will appreciate it! Please see our commit message style guide for what we would ideally like to see in a commit message.)

Description for the changelog

Cute Animal Picture

Put a link to a cute animal picture inside the parenthesis-->

as of hypothesis 6.130.0, nesting `@given` is a health check error. we
should probably fix this as it is a performance issue in the CI, but for
now, just suppress it.

references:
- https://hypothesis.readthedocs.io/en/latest/changes.html#v6-130-0
@codecov
Copy link

codecov bot commented Mar 21, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.28%. Comparing base (6414135) to head (f257cc1).
Report is 91 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4533   +/-   ##
=======================================
  Coverage   92.28%   92.28%           
=======================================
  Files         123      123           
  Lines       17493    17493           
  Branches     2952     2952           
=======================================
  Hits        16143    16143           
  Misses        944      944           
  Partials      406      406           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@charles-cooper charles-cooper merged commit 11f0761 into vyperlang:master Mar 21, 2025
161 checks passed
@charles-cooper charles-cooper deleted the ci/fix-hypothesis-healthcheck branch March 21, 2025 09:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants