Hi all, Someone on LLVM-dev@ mentioned a CI provider that I did not yet know: CircleCI. For open-source projects, they offer 4 free Linux containers. Travis is filling up a little, I think, so we could offload some builds to CircleCI. cheers, Johan