diff options
| author | Patrick Georgi <patrick@coreboot.org> | 2022-03-08 19:47:41 +0100 |
|---|---|---|
| committer | Patrick Georgi <patrick@coreboot.org> | 2022-03-14 19:02:32 +0000 |
| commit | 46213f6bbebebc6d9f19dd2e8644242c4a8ba39f (patch) | |
| tree | de03604c9e97cd040bc07f26b83e369dabd44cee /Documentation/infrastructure/index.md | |
| parent | cf4a3472b99cfbb7a4f431a4e0cb9dc424276bd4 (diff) | |
Documentation: Describe our Coverity Scan integration
Change-Id: I0a2b68a4b4b54c7345280b252d624799316641b1
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62666
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Diffstat (limited to 'Documentation/infrastructure/index.md')
| -rw-r--r-- | Documentation/infrastructure/index.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/infrastructure/index.md b/Documentation/infrastructure/index.md index a4520132c4..3007bbec1c 100644 --- a/Documentation/infrastructure/index.md +++ b/Documentation/infrastructure/index.md @@ -4,3 +4,4 @@ This section contains documentation about coreboot infrastructure ## Jenkins builders and builds * [Setting up Jenkins build machines](builders.md) +* [Coverity Scan integration](coverity.md) |