1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-06-06 21:56:12 +02:00
git/.github
Junio C Hamano 1c0962c0c4 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>
2022-10-20 09:20:59 -07:00
..
workflows ci: add address and undefined sanitizer tasks 2022-10-20 09:20:59 -07:00
CONTRIBUTING.md docs: mention MyFirstContribution in more places 2020-06-08 15:12:28 -07:00
PULL_REQUEST_TEMPLATE.md point pull requesters to GitGitGadget 2019-03-13 11:07:50 +09:00