From 31ea4c3c9bab2f5dc6177ca55fa06791a81659cb Mon Sep 17 00:00:00 2001 From: thk123 Date: Thu, 6 Apr 2017 17:16:56 +0100 Subject: [PATCH] Adding build icon for AppVeyor --- README.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index bb1bf51de0..e1c2b09009 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -[![Build Status][build_img]][travis] +[![Build Status][travis_img]][travis] [![Build Status][appveyor_img]][appveyor] [CProver Wiki](http://www.cprover.org/wiki) @@ -19,5 +19,7 @@ License ======= 4-clause BSD license, see `LICENSE` file. -[build_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master [travis]: https://travis-ci.org/diffblue/cbmc +[travis_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master +[appveyor]: https://ci.appveyor.com/project/diffblue/cbmc/ +[appveyor_img]: https://ci.appveyor.com/api/projects/status/github/diffblue/cbmc?svg=true&branch=master \ No newline at end of file