Closed jberkel closed 2 years ago
@stephencelis the old travis.org service is no longer availble (https://blog.travis-ci.com/2021-05-07-orgshutdown).
I think you need to activate something in order to move the CI to travis-ci.com. PRs won't be able to get merged otherwise
@stephencelis the old travis.org service is no longer availble (https://blog.travis-ci.com/2021-05-07-orgshutdown).
I think you need to activate something in order to move the CI to travis-ci.com. PRs won't be able to get merged otherwise