rust: pin-init: examples: pthread_mutex: disable the main test for miri
authorBenno Lossin <benno.lossin@proton.me>
Fri, 23 May 2025 12:54:12 +0000 (14:54 +0200)
committerBenno Lossin <lossin@kernel.org>
Wed, 11 Jun 2025 19:13:56 +0000 (21:13 +0200)
commit2408678d700c4db6c54749a272d42a964f5f3418
tree256af39897ef97e6d74bb12bbd41e025414fe582
parent58cebd68882edd407c7f65ebb4a42034bc1ffc6d
rust: pin-init: examples: pthread_mutex: disable the main test for miri

`miri` takes a long time to execute the test, so disable it.

Link: https://github.com/Rust-for-Linux/pin-init/pull/50/commits/e717a9eec85024c11e79e8bd9dcb664ad0de8f94
Link: https://lore.kernel.org/all/20250523125424.192843-3-lossin@kernel.org
Signed-off-by: Benno Lossin <lossin@kernel.org>
rust/pin-init/examples/pthread_mutex.rs