advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
204 stars 25 forks source link

fix ci times #328

Closed kderme closed 5 years ago

kderme commented 5 years ago

Signed-off-by: kderme k.dermenz@gmail.com

Related issue https://github.com/advancedtelematic/quickcheck-state-machine/issues/327 I think the issue is that ShrinkProps sometimes create too many references, so I used an upper limit. I believe this does not reduce too much the power of testing.

stevana commented 5 years ago

That does indeed seem to have improved things, thanks!

kderme commented 5 years ago

There is still the issue that stack builds the whole Haskell, so it sometimes reaches the 50 mins hard limit of travis. Maybe an easy fix is to build only the library with stack and not the tests.

stevana commented 5 years ago

A new version of stack was recently released which invalidated Travis' cache, maybe now that we have a successful build and a new cache things might be faster again? Stack and cabal builds used to take roughly as long in the past...