tree 98c9ef5d55e94a4653cab312ed1ad9e9a4a57c44
parent 5e494c0c3bde75a39e4bc0fe34484ece41e2e602
author Davide Pesavento <davidepesa@gmail.com> 1570572516 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1570597214 -0400

ci: output Travis folding markers for each build stage

Makes build logs vastly more readable on Travis web UI

Change-Id: I00ebf48f80d73d7aad00b890d9c16c2254cb609c