Code

Split jobs to two stages in Travis#1237

Code

Merged

peterschrammel merged 4 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

zemanlx:feature/implement-travis-stageszemanlx/cbmc:feature/implement-travis-stagesCopy head branch name to clipboard

Aug 22, 2017

Commits

Commits on Aug 14, 2017

• Split jobs to two stages in Travis

  Show description for a029094
  

  Vlastimil Zeman

  committed
  a029094

  Copy full SHA for a029094

Commits on Aug 15, 2017

• Standardise ccache size to 1 GB

  

  Vlastimil Zeman

  committed
  15e9881

  Copy full SHA for 15e9881

• Update cbmc-builder alpine container

  

  Vlastimil Zeman

  committed
  5988e61

  Copy full SHA for 5988e61

• Add ccache for gcc builds

  

  Vlastimil Zeman

  committed
  2cf78c7

  Copy full SHA for 2cf78c7