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.

Sign up for GitHub

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

Jump to bottom

fix fuzz build failure #1875

Merged
merged 1 commit into from Jan 10, 2023
Merged

fix fuzz build failure #1875

merged 1 commit into from Jan 10, 2023

Conversation

manunio
Copy link
Contributor

@manunio manunio commented Jan 9, 2023

djc
djc approved these changes Jan 9, 2023
View reviewed changes
Copy link
Collaborator

@djc djc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@bluejekyll
Copy link
Member

hm, that's odd. It should have failed locally, and clearly we have a gap in the build on CI, this should be checked. Thanks for fixing this.

@bluejekyll bluejekyll merged commit 1b2feda into hickory-dns:main Jan 10, 2023
@bluejekyll bluejekyll mentioned this pull request Jan 10, 2023
Closed
@manunio manunio deleted the fix-fuzz-build-error branch January 10, 2023 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@djc djc djc approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@manunio @bluejekyll @djc