diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-10-11 20:21:47 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-10-11 20:21:47 +0300 |
commit | 859a585bdf9baa257c08a50895d9829171a5ad46 (patch) | |
tree | 11ca943c2cf1a006eea1955164e8650b46b7e297 /.github | |
parent | 62bff959c7a893c221239c5f3e4aabe91be5a793 (diff) | |
parent | 956d2e4639bfbcac49e7c173f603d24985d7df23 (diff) |
Merge branch 'ab/sanitize-leak-ci'
CI learns to run the leak sanitizer builds.
* ab/sanitize-leak-ci:
tests: add a test mode for SANITIZE=leak, run it in CI
Makefile: add SANITIZE=leak flag to GIT-BUILD-OPTIONS
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b053b01c66..4728168478 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -232,6 +232,9 @@ jobs: - jobname: linux-gcc-default cc: gcc pool: ubuntu-latest + - jobname: linux-leaks + cc: gcc + pool: ubuntu-latest env: CC: ${{matrix.vector.cc}} jobname: ${{matrix.vector.jobname}} |