diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-10-26 03:11:44 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-10-26 03:11:44 +0300 |
commit | 4039b8f112a3c7bc355b6cc73bbfca4762f71ef3 (patch) | |
tree | a25280864c8e44b9fecc397f15b1e6a03e969ec9 /tag.h | |
parent | bda957de7cd86933aa898351c796fd4a7d18f983 (diff) | |
parent | 1c0962c0c42f5fe5039d2dbd538c86b34f617408 (diff) |
Merge branch 'jc/more-sanitizer-at-ci'
Enable address and undefined sanitizer tasks at GitHub Actions CI.
* jc/more-sanitizer-at-ci:
ci: add address and undefined sanitizer tasks
Diffstat (limited to 'tag.h')
0 files changed, 0 insertions, 0 deletions