fix error code from dotnet core sdk check

p-org / PSharp

A framework for rapid development of reliable asynchronous software.

MIT License

390 stars 37 forks source link

Closed lovettchris closed 5 years ago

lovettchris commented 5 years ago

this is so that the CI build fails instead of passes in this case.