It seems that Travis isn't working anymore so we have to switch our CI to GitHub Actions.
It seems that Travis isn't working anymore so we have to switch our CI to GitHub Actions.