MANIFOLD
How many days after 2022-08-01 will Manifold PR#683 get merged? (Notify mentioned users on market publish)
1
Ṁ100Ṁ44
resolved Aug 4
Resolved
12

Will resolve to MAX if PR is rejected. Will resolve to the number of days after August 1st if it is merged. Note that this is an automatically managed market

https://github.com/manifoldmarkets/manifold/pull/683

Market context
Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ6
Sort by:

This resolved incorrectly due to a bug in my implementation of numeric market resolution. Future markets appear to be resolving correctly.

© Manifold Markets, Inc.TermsPrivacy