diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-07-20 23:45:37 +0300 |
---|---|---|
committer | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-07-20 23:45:37 +0300 |
commit | 1a7a259111ec6cadcd43bda4fee6fca1e129657c (patch) | |
tree | 9f4bc41af6baa36586572a9e25ee64766cba32f0 /README.markdown | |
parent | 4766c257a31a7faf66a8ec0913b057d88ad47195 (diff) |
Coverity widget
Diffstat (limited to 'README.markdown')
-rw-r--r-- | README.markdown | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/README.markdown b/README.markdown index 4ca1da85..d2532ed5 100644 --- a/README.markdown +++ b/README.markdown @@ -1,6 +1,7 @@ # PhpRedis [![Build Status](https://travis-ci.org/phpredis/phpredis.svg?branch=develop)](https://travis-ci.org/phpredis/phpredis) +[![Coverity Scan Build Status](https://scan.coverity.com/projects/13205/badge.svg)](https://scan.coverity.com/projects/phpredis-phpredis) The phpredis extension provides an API for communicating with the [Redis](http://redis.io/) key-value store. It is released under the [PHP License, version 3.01](http://www.php.net/license/3_01.txt). This code has been developed and maintained by Owlient from November 2009 to March 2011. |