-
Notifications
You must be signed in to change notification settings - Fork 6
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
Fix CI (io_uring not supported) #580
Comments
For context #577 introduced the usage of io_uring. |
I think we'll have to wait a couple more month until Ubuntu 24.04, that should work. |
I have since gotten the CI to work for A10, but I'm not sure if it's worth the effort Heph at the moment. |
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently the CI uses Linux 5.15, which doesn't support operations such as the
send(2)
system call, which is a bit of a pain. The next Linux LTS, v6.1, does support everything we need so maybe it's just a matter of waiting until Ubuntu LTS starts using that.I've split up and disable the CI for now (in #596), list to enable:
Add support for testing under miri:
For the other crates we can't as Heph-rt doesn't work under miri and the other crates depend on it.
The text was updated successfully, but these errors were encountered: