Closed rafaqz closed 3 years ago
travis-ci.org is closing in December. There's an auto-migrate tool that makes it very easy.
When should we do this? Perhaps once the current round of changes settle?
Actually, we should be migrating to github actions.
Dom't fix. Instead, pursue #291
travis-ci.org is closing in December. There's an auto-migrate tool that makes it very easy.