summaryrefslogtreecommitdiff
path: root/Documentation/infrastructure/coverity.md
AgeCommit message (Collapse)Author
2024-10-06Documentation: Remove myself from various rolesPatrick Georgi
I'm not doing that stuff anymore so this updates the documentation to reflect reality. Change-Id: I2feac471274ccfb756ca5b029ec86f2161dc2bfc Signed-off-by: Patrick Georgi <patrick@georgi-clan.de> Reviewed-on: https://review.coreboot.org/c/coreboot/+/84673 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
2022-03-14Documentation: Describe our Coverity Scan integrationPatrick Georgi
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>