Travis is very unreliable for CI testing these days, and it's likely to get worse as they've lost a lot of staff. The MacPorts project has been very successfully using Azure Pipelines for the last few months as a secondary test system; it almost never has spurious failures. It would be good for us to set the same thing up for ocaml-community.