[tgs->master] continuous integration fixes and workarounds#1264

Merged

kroening merged 8 commits intodiffblue:masterfrom

tautschnig:ci-workarounds

Aug 22, 2017

Commits on Aug 22, 2017

Workaround for travis performing shallow clones with wrong branch

peterschrammel
authored and
tautschnig
committed
Suppress some doxygen warnings

peterschrammel
authored and
tautschnig
committed
Speed up OSX builds on Travis.

forejtv
authored and
tautschnig
committed
Travis fix: ccache limit was in the wrong section

forejtv
authored and
tautschnig
committed
Split jobs to two stages in Travis

Vlastimil Zeman
authored and
tautschnig
committed
Standardise ccache size to 1 GB

Vlastimil Zeman
authored and
tautschnig
committed
Update cbmc-builder alpine container

Vlastimil Zeman
authored and
tautschnig
committed
Add ccache for gcc builds

Vlastimil Zeman
authored and
tautschnig
committed