Skip to content
New issue

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

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

Already on GitHub? # to your account

Miri supports epoll nowadays #85

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

Conversation

oli-obk
Copy link

@oli-obk oli-obk commented Nov 20, 2024

Also readded preemption, as the linked issue is now fixed

@oli-obk
Copy link
Author

oli-obk commented Nov 20, 2024

Oh fun, there's a bug somewhere. Either in miri or in this crate. I'll need to minimize the test before it's clear what's up.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant