diff 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 68596f2592..be5cbb3774 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}} |