Travis is going away for open-source projects, so CI will have to be migrated to GitHub actions.
Travis is going away for open-source projects, so CI will have to be migrated to GitHub actions.