Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

catchup fuzzer versions to 0.17.0 #825

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

catchup fuzzer versions to 0.17.0 #825

wants to merge 2 commits into from

Conversation

altendky
Copy link
Contributor

No description provided.

Copy link

Pull Request Test Coverage Report for Build 12397543986

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 83.972%

Totals Coverage Status
Change from base Build 12325963364: 0.0%
Covered Lines: 13349
Relevant Lines: 15897

💛 - Coveralls

@altendky altendky marked this pull request as ready for review December 18, 2024 20:19
@arvidn
Copy link
Contributor

arvidn commented Dec 19, 2024

I'm not sure if this matters. I don't believe we publish the fuzzers anyway. But I don't see any downside either.

@altendky
Copy link
Contributor Author

i figured it was easy to share the topic in pr form. i think it would be good to either keep them updated, or set them to something obviously unchanging like 0.0.0 or 0.1.0 or...

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