Skip to content

ci: run the WriteOnly Miri tests in their current package - #2

Open
isaacsa2 wants to merge 1 commit into
openOMSI-org:openomsi/v29from
isaacsa2:fix/ci-miri-write-only-20261027
Open

isaacsa2 wants to merge 1 commit into
openOMSI-org:openomsi/v29from
isaacsa2:fix/ci-miri-write-only-20261027

Conversation

@isaacsa2

Copy link
Copy Markdown

The limited Miri job filters for WriteOnly tests in wgpu, but those tests live in wgpu-types. On the current nightly it fails while compiling unrelated wgpu-core Send/Sync code; after that error is avoided, it can report success with zero selected tests.

Run the owning package with std and serde so its unit tests compile, and reject an empty passing-test count. The shell retains pipefail, so tee cannot hide a failed Miri run. No compiler recursion limit or check suppression is added.

Validation: the corrected command executed 25 WriteOnly tests, all passing, with nightly-2026-10-26 and RUSTFLAGS=-Dwarnings. The count guard also passed. This is independent of #1; dependency advisories, Vulkan test semantics and pre-existing formatting remain separate changes.

Signed-off-by: Isaac S. <107325320+isaacsa2@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant