We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 57dc8e7 commit dca0fe5Copy full SHA for dca0fe5
1 file changed
doc/src/challenges/0028-flt2dec.md
@@ -2,7 +2,7 @@
2
3
- **Status:** *Open*
4
- **Solution:** *Option field to point to the PR that solved this challenge.*
5
-- **Tracking Issue:** *Link to issue*
+- **Tracking Issue:** [#524](https://github.com/model-checking/verify-rust-std/issues/524)
6
- **Start date:** *2026/01/01*
7
- **End date:** *2026/08/31*
8
- **Reward:** *5,000 USD*
0 commit comments