As title says. I think the azure-pipelines CI is much better than Travis; I see no reason to continue using the service going forward.