diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2019-01-11 14:30:27 +0100 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2019-01-11 15:06:56 +0100 |
commit | c3bde4c13916c0d9078cf2d191c247e522d0e46c (patch) | |
tree | 05ddc00dd732bbc54514cdac0ac0f0fd5d747276 /.gitlab-ci.yml | |
parent | 9549da4b2bfa29519bb453a1f4fdd9baa536b57b (diff) |
ci: Use valgrind to run our C tests.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2822342f..ae59f000 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -8,7 +8,7 @@ test: - cargo --version - clang --version - make - - make test + - SEQUOIA_CTEST_VALGRIND=/usr/bin/valgrind make test - du -sh target - du -sh cargo |