Skip to content

ci: run compio-buf and compio-io tests under miri - #1090

Open
FalkWoldmann wants to merge 2 commits into
compio-rs:masterfrom
FalkWoldmann:ci/miri-buf-io
Open

FalkWoldmann wants to merge 2 commits into
compio-rs:masterfrom
FalkWoldmann:ci/miri-buf-io

Conversation

@FalkWoldmann

Copy link
Copy Markdown
Contributor

This is similar to the other miri action pipeline. I ignored the tests with the known soundness issues

@github-actions github-actions Bot added the ci github action and other ci-related change label Oct 1, 2026
@FalkWoldmann

Copy link
Copy Markdown
Contributor Author

Differences to the executor miri job:

If u prefer a more homogeneous setup wrt. to the other miri pipeline, I can streamline either one :)

rustix 1.1.5 fails to build with only the net feature under miri
(bytecodealliance/rustix#1689). Drop this once a release with
bytecodealliance/rustix#1681 is out.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci github action and other ci-related change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant