diff options
| author | Benno Lossin <benno.lossin@proton.me> | 2025-05-23 14:54:12 +0200 |
|---|---|---|
| committer | Benno Lossin <lossin@kernel.org> | 2025-06-11 21:13:56 +0200 |
| commit | 2408678d700c4db6c54749a272d42a964f5f3418 (patch) | |
| tree | 256af39897ef97e6d74bb12bbd41e025414fe582 /scripts/lib/kdoc/kdoc_files.py | |
| parent | 58cebd68882edd407c7f65ebb4a42034bc1ffc6d (diff) | |
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>
Diffstat (limited to 'scripts/lib/kdoc/kdoc_files.py')
0 files changed, 0 insertions, 0 deletions