Updated to use quickcheck-ci.com