Code

Speedup Travis builds#1903

Code

Merged

kroening merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

chrisr-diffblue:travis-speedupschrisr-diffblue/cbmc:travis-speedupsCopy head branch name to clipboard

Mar 4, 2018

Commits

Commits on Mar 3, 2018

• Avoid double invoking ccache

  Show description for 7b6f849
  chrisr-diffblue

  committed
  7b6f849

  Copy full SHA for 7b6f849

• Ensure all compile jobs declare their compiler type

  Show description for 423cd49
  chrisr-diffblue

  committed
  423cd49

  Copy full SHA for 423cd49

• Increase ccache size for debug builds

  Show description for f0fc345
  chrisr-diffblue

  committed
  f0fc345

  Copy full SHA for f0fc345

• Slightly increase the number of parallel build jobs

  Show description for 00ec070
  chrisr-diffblue

  committed
  00ec070

  Copy full SHA for 00ec070