]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: bda957d 1c0962c)
Merge branch 'jc/more-sanitizer-at-ci'
authorJunio C Hamano <gitster@pobox.com>
Wed, 26 Oct 2022 00:11:44 +0000 (17:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 26 Oct 2022 00:11:44 +0000 (17:11 -0700)
commit4039b8f112a3c7bc355b6cc73bbfca4762f71ef3
treea25280864c8e44b9fecc397f15b1e6a03e969ec9tree | snapshot
parentbda957de7cd86933aa898351c796fd4a7d18f983commit | diff
parent1c0962c0c42f5fe5039d2dbd538c86b34f617408commit | 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
ci/lib.sh diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.