]> git.ralfj.de Git - web.git/commitdiff
fix typo
authorRalf Jung <post@ralfj.de>
Tue, 23 Dec 2025 11:12:17 +0000 (12:12 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 23 Dec 2025 11:12:17 +0000 (12:12 +0100)
personal/_posts/2025-12-22-miri.md

index d1c4dd3f0f69839adaa0a411fcf9e1e15444d874..c6ec030d61fb91a9a90df294764d5a11e8793d2b 100644 (file)
@@ -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.