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 /util/mainboard | |
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 'util/mainboard')
0 files changed, 0 insertions, 0 deletions