Code

Remove appveyor#2737

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

remove-appveyordiffblue/cbmc:remove-appveyorCopy head branch name to clipboard

Aug 15, 2018

Commits

Commits on Aug 15, 2018

• Remove appveyor.yml

  

  Daniel Kroening

  authored and

  peterschrammel

  committed
  fe23db7

  Copy full SHA for fe23db7

• Remove appveyor badge

  peterschrammel

  committed
  4261fd8

  Copy full SHA for 4261fd8

• Add AWS CodeBuild badges

  peterschrammel

  committed
  9c3fd45

  Copy full SHA for 9c3fd45