Skip to content

Commit 02cd117

Browse files
authored
Fixup merge resolution: Add and update rewards to open challenges lacking one (#502)
Proposes a reward of 10k USD for several challenges and 20k for the larger ones among them. This PR restores what #459 originally proposed and had gotten approved, but was then lost during merge-conflict resolution. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
1 parent 3bb48f0 commit 02cd117

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/src/challenges/0001-core-transmutation.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
- **Tracking Issue:** [#19](https://github.com/model-checking/verify-rust-std/issues/19)
55
- **Start date:** *2024/06/12*
66
- **End date:** *2025/04/10*
7-
- **Reward:** *N/A*
7+
- **Reward:** *10000 USD*
88
- **Contributors**: [Alex Le Blanc](https://github.com/AlexLB99), [Patrick Lam](https://github.com/patricklam)
99

1010
-------------------

0 commit comments

Comments
 (0)