We no longer use Travis, only GitHub actions
We no longer use Travis, only GitHub actions