From 8bc1b22a247217fcc90043223e7838705363dbbb Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 23 Dec 2025 12:12:17 +0100 Subject: [PATCH] fix typo --- personal/_posts/2025-12-22-miri.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2025-12-22-miri.md b/personal/_posts/2025-12-22-miri.md index d1c4dd3..c6ec030 100644 --- a/personal/_posts/2025-12-22-miri.md +++ b/personal/_posts/2025-12-22-miri.md @@ -163,7 +163,7 @@ If your name should be on that list, then I am sorry for forgetting you. ## How you can help If you want to help improve Miri, that's awesome! -The [issue tracker](https://github.com/rust-lang/miri/issues) is a good place to start; the list of issues is short enough that you can just browse through it rather quickly to see if anything pikes your interest. +The [issue tracker](https://github.com/rust-lang/miri/issues) is a good place to start; the list of issues is short enough that you can just browse through it rather quickly to see if anything piques your interest. The ones that are particularly suited for getting started are marked with a green label. Another good starting point is to try to implement the missing bit of functionality that keeps your test suite from working. That said, you should have gathered some Rust experience in a simpler project before tackling Miri; Miri is not a good codebase for your first steps in Rust. -- 2.39.5