Closed knothed closed 3 years ago
happy currently uses www.travis-ci.org, which will be shut down on June 15, i.e. very soon.
We should migrate to www.travis-ci.com to further use travis.
Once #189 is implemented, travis could also be dropped completely.
happy currently uses www.travis-ci.org, which will be shut down on June 15, i.e. very soon.
We should migrate to www.travis-ci.com to further use travis.
Once #189 is implemented, travis could also be dropped completely.