These are chat archives for Microsoft/CodeContracts

4th
Feb 2016
Sergey Teplyakov
@SergeyTeplyakov
Feb 04 2016 00:17
@yaakov-h Merged your PR! Great job!
Yaakov
@yaakov-h
Feb 04 2016 00:17
Thanks @SergeyTeplyakov. Hopefully I'll be able to do a full test with the next RC now.
Yaakov
@yaakov-h
Feb 04 2016 05:20
@SergeyTeplyakov Do you have a timeline for RC2 / 1.10 stable?
Sergey Teplyakov
@SergeyTeplyakov
Feb 04 2016 05:38
I'm almost done with #365 and this is the main bug that I want to fix
I think we should fix #13 and good to go with RC2
Yaakov
@yaakov-h
Feb 04 2016 09:31
looks like for #13 we just need build\DotNet.CodeContracts.props containing DontImportCodeContracts, and build\DotNet.CodeContracts.targets which then imports MSBuild\$(VisualStudioVersion)\Microsoft.CodeContracts.targets
Sergey Teplyakov
@SergeyTeplyakov
Feb 04 2016 16:53
Sounds like not a very complicated task...
Sergey Teplyakov
@SergeyTeplyakov
Feb 04 2016 18:05
Ok, guys. We have 1 year Pro subscription on AppVeyor!!
Now I can turn all the tests back!
Yaakov
@yaakov-h
Feb 04 2016 21:48
\o/