Commit graph

3 commits

Author SHA1 Message Date
2b57d71113 Disable deadline in hypothesis profiles
The deadline was not being overridden as described in the README, as the
default profile is not mutable. This registers an additional CI profile
disabling the deadline.
2021-01-13 16:55:03 -05:00
b69f690d50 Remove the ci Hypothesis profile
It is slow and there's no real benefit from it at this time.
2020-12-04 23:34:57 -05:00
3704bfab49 Configure Hypothesis profiles
Add a ci profile using more examples for automated testing and a dev
profile for rapid local testing.
2020-12-04 22:44:22 -05:00