@tom I restarted both the PR and branch builds a couple of minutes ago, they both still return this same error!
I fixed it now by switching to the Bash CI uploader. I also understand that there’s not much you can do if nobody has this and it cannot reliably be reproduced. Anyway the linked build log on travis will remain available if anyone needs it.