<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class=""><span style="caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: none; display: inline !important;" class="">No action necessary. Both builds failed because "Could not resolve host". Unfortunately we see these types of network errors rather frequently from Travis CI and we do not know how to get the Travis people to resolve it. It does not appear to be a very good service. We also use the Azure Pipelines service which as far as I know has not had these problems. Maybe we should stop using the Travis CI service altogether.</span></div></blockquote><br class=""></div><div>Azure is more stable, but is currently limited in that it only seems to support 10.14 builds. 10.13 was recently removed, and support for 10.15 is missing. So if where where to use only azure we would be quite limited in terms of OS testing.</div><div><br class=""></div><div>Chris</div><br class=""></body></html>