tree d80b77d16365ed08a761c975062c7aa4b57daa1a
parent a4abfb010f377ea0f9a092845fe12215f67cc763
author Davide Pesavento <davidepesa@gmail.com> 1570597365 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1570597365 -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: I234fcb06527eb60cc1fe4cf5b16eafaa972e07f6