diff options
author | Aaron Gyes <me@aaron.gy> | 2016-06-11 21:11:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-11 21:11:55 -0700 |
commit | 67339caa33e7dfcf29a5317695a7bbf5163e3dd2 (patch) | |
tree | e40b8d57f4382f6c61979e92698a69395b74f853 /CONTRIBUTING.md | |
parent | d77c20b09a6d355f4cd628c57e17609ffbfdbfd7 (diff) |
Update CONTRIBUTING.md
Mention Coverity
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9c93c723..2e7733ab 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -202,6 +202,14 @@ This will check if the push is to the master branch and, if it is, will run `mak To install the hook, put it in .git/hooks/pre-push and make it executable. +### Coverity Scan + +We use Coverity's static analysis tool which offers free access to open source projects. While access to the tool itself is +restricted, fish-shell organization members should know that they can login +[here with their GitHub account](https://scan.coverity.com/projects/fish-shell-fish-shell?tab=overview). +Currently, tests are triggered upon merging the `master` branch into `coverity_scan_master`. +Even if you are not a fish developer, you can keep an eye on our statistics there. + ## Installing the Required Tools ### Installing the Linting Tools |