We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a0dc7f4 commit dc6a635Copy full SHA for dc6a635
doc/src/challenges/0014-convert-num.md
@@ -1,7 +1,7 @@
1
# Challenge 14: Safety of Primitive Conversions
2
3
- **Status:** Resolved
4
-- **Tracking Issue:** https://github.com/model-checking/verify-rust-std/issues/220
+- **Tracking Issue:** [#220](https://github.com/model-checking/verify-rust-std/issues/220)
5
- **Start date:** 2024/12/15
6
- **End date:** 2025/2/28
7
- **Prize:** *TBD*
0 commit comments