tree 75438fb4f325870b5b94c5d85586cd4dbd51b67c
parent 11c69910f3baa8b5d9d14c10cf36a6b3087f8cc7
author Davide Pesavento <davidepesa@gmail.com> 1570594513 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1570594513 -0400

ci: upgrade Travis config to Ubuntu 18.04

Also in this commit:

 * Drop clang 3.8 (no easy way to install it on 18.04)
 * Add clang 10 (trunk)
 * Drop Xcode 8.3
 * Upgrade Xcode 10.2 to 10.3
 * Output folding markers to improve readability of CI logs

Change-Id: I7e6105f100110c74d6e947612fd3df81f7cbf43c