diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-20 19:20:59 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-20 19:20:59 +0300 |
commit | 1c0962c0c42f5fe5039d2dbd538c86b34f617408 (patch) | |
tree | 66fb99fad38cd5d408ffa3b25804860d215a2f91 /fetch-pack.h | |
parent | bbe21b64a08f89475d8a3818e20c111378daa621 (diff) |
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>
Diffstat (limited to 'fetch-pack.h')
0 files changed, 0 insertions, 0 deletions