Skip to content

Commit 87d2061

Browse files
authored
Add tracking issue link for Challenge 29
Updated tracking issue link for Challenge 29.
1 parent 69d1192 commit 87d2061

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/src/challenges/0029-boxed.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
- **Status:** *Open*
44
- **Solution:** *Option field to point to the PR that solved this challenge.*
5-
- **Tracking Issue:** *Link to issue*
5+
- **Tracking Issue:** [#526](https://github.com/model-checking/verify-rust-std/issues/526)
66
- **Start date:** *2026/01/01*
77
- **End date:** *2026/12/31*
88
- **Reward:** *15,000 USD*

0 commit comments

Comments
 (0)