From c5137b5d7273202a74cc71dcf3398c213484264f Mon Sep 17 00:00:00 2001 From: Thaddee Tyl Date: Thu, 11 Jun 2015 10:51:27 +0200 Subject: [PATCH] website: coverity ondemand and circleci with token --- index.html | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/index.html b/index.html index 264d1f7..65300c9 100644 --- a/index.html +++ b/index.html @@ -113,6 +113,10 @@ Pixel-perfect   Retina-ready   Fast   Consistent   Hackable https://img.shields.io/circleci/project/BrightFlair/PHP.Gt/master.svg + CircleCI token: + + https://img.shields.io/circleci/token/YOURTOKEN/project/BrightFlair/PHP.Gt/master.svg + Shippable: https://img.shields.io/shippable/54d119db5ab6cc13528ab183.svg @@ -181,6 +185,14 @@ Pixel-perfect   Retina-ready   Fast   Consistent   Hackable https://img.shields.io/coverity/scan/3997.svg + Coverity Code Advisor On Demand Stream Badge: + + https://img.shields.io/coverity/ondemand/streams/STREAM.svg + + Coverity Code Advisor On Demand Job Badge: + + https://img.shields.io/coverity/ondemand/jobs/JOB.svg + HHVM: https://img.shields.io/hhvm/symfony/symfony.svg