Travis is going to be disabled soon. If we want to continue to maintain this project, then we probably want to move to an alternate CI provider. Given that there is no complex dependency, it is probably better to use GitHub actions for this, especially since this is a public repo and should be fairly straightforward to set up.
Description
Travis is going to be disabled soon. If we want to continue to maintain this project, then we probably want to move to an alternate CI provider. Given that there is no complex dependency, it is probably better to use GitHub actions for this, especially since this is a public repo and should be fairly straightforward to set up.