Permalink
Browse files

Add notes about coverity scan

Related: #327
  • Loading branch information...
siteshwar committed Sep 6, 2018
1 parent eb36c08 commit ae605651b9e7932caa74809c84abe2d542778f5e
Showing with 1 addition and 1 deletion.
  1. +1 −1 CONTRIBUTING.md
View
@@ -377,7 +377,7 @@ To install the hook, put it in .git/hooks/pre-push and make it executable.
### Coverity Scan
TBD
Coverity scans are run everyday on `master` branch. Latest results can be viewed [here](https://scan.coverity.com/projects/ksh).
## Installing the Required Tools

0 comments on commit ae60565

Please sign in to comment.