]> git.ipfire.org Git - thirdparty/git.git/commit
ci: add address and undefined sanitizer tasks
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Oct 2022 16:20:59 +0000 (09:20 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Oct 2022 16:20:59 +0000 (09:20 -0700)
commit1c0962c0c42f5fe5039d2dbd538c86b34f617408
tree66fb99fad38cd5d408ffa3b25804860d215a2f91
parentbbe21b64a08f89475d8a3818e20c111378daa621
ci: add address and undefined sanitizer tasks

The current code is clean with these two sanitizers, and we would
like to keep it that way by running the checks for any new code.

The signal of "passed with asan, but not ubsan" (or vice versa) is
not that useful in practice, so it is tempting to run both santizers
in a single task, but it seems to take forever, so tentatively let's
try having two separate ones.

Helped-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
.github/workflows/main.yml
ci/lib.sh