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 typo in miri ignore comment #7063

Merged
merged 2 commits into from
Jan 3, 2025
Merged

Fix typo in miri ignore comment #7063

merged 2 commits into from
Jan 3, 2025

Conversation

tiif
Copy link
Contributor

@tiif tiif commented Jan 2, 2025 •
edited
Loading

There is socketpair in miri, but SOCK_DGRAM is unsupported.

Follow up of #7060

@tiif tiif mentioned this pull request Jan 2, 2025
Merged
@Darksonn Darksonn added A-tokio Area: The main tokio crate M-net Module: tokio/net labels Jan 2, 2025
Darksonn
Darksonn approved these changes Jan 2, 2025
View reviewed changes
Copy link
Contributor

@Darksonn Darksonn left a comment

Choose a reason for hiding this comment

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

Thanks.

@Darksonn Darksonn enabled auto-merge (squash) January 2, 2025 15:29
@tiif
Copy link
Contributor Author

tiif commented Jan 3, 2025

@Darksonn one of the job needs a re-run :D

@Darksonn Darksonn merged commit 7be2bfa into tokio-rs:master Jan 3, 2025
83 checks passed
@tiif tiif deleted the typo branch January 4, 2025 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Darksonn Darksonn Darksonn approved these changes

Assignees
No one assigned
Labels
A-tokio Area: The main tokio crate M-net Module: tokio/net
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@tiif @Darksonn