simetenn opened this issue 4 years ago · 0 comments
With the changes to travis the CI have to be anyway. Instead of moving to the new travis the CI should probably be moved to another provider such as CircleCI or Github actions.