fix: tidy ci

Author: nhtyy

src/doc/rustc/src/platform-support/riscv32im-succinct-elf.md

@@ -80,4 +80,4 @@ target `riscv32-unknown-none`.
 
 [RISC-V specification]: https://riscv.org/wp-content/uploads/2015/01/riscv-calling.pdf
 [cargo-prove]: https://docs.succinct.xyz/docs/sp1/getting-started/install
-[sp1-build]: https://crates.io/crates/sp1-build
+[sp1-build]: https://crates.io/crates/sp1-build