Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2022-10-26 03:11:44 +0300
committerJunio C Hamano <gitster@pobox.com>2022-10-26 03:11:44 +0300
commit4039b8f112a3c7bc355b6cc73bbfca4762f71ef3 (patch)
treea25280864c8e44b9fecc397f15b1e6a03e969ec9 /oidtree.h
parentbda957de7cd86933aa898351c796fd4a7d18f983 (diff)
parent1c0962c0c42f5fe5039d2dbd538c86b34f617408 (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 'oidtree.h')
0 files changed, 0 insertions, 0 deletions