* Ryan Schmidt: > I feel that the Azure Pipelines are already giving us good results on > current systems, and we could probably turn off the Travis builds for > the systems that Azure also covers. That seems like a reasonable approach to me. -Ralph