serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
176 stars 28 forks source link

Added property tests with tasty and hedgehog, also a minor doc addition #134

Closed johnchandlerburnham closed 6 years ago

johnchandlerburnham commented 6 years ago

Resolves https://github.com/serokell/universum/issues/36 Resolves https://github.com/serokell/universum/issues/99

gromakovsky commented 6 years ago

Why was it merged despite CI failure? 😕

chshersh commented 6 years ago

@gromakovsky CI failure here is not because of errors in code. It because travis/pr can't build outdated branches. The only thing why it's outdated: I pushed minor update to CHANGES.md. I don't want to have Merge commit only because of this minor update in MD file. I don't want to waste people time on rebasing to master just for such minor thing. Windows CI passed and it means there're no errors in code/build/tests.