From b66f16e7c014301946193c5208ec1b4806ace5a6 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 28 Feb 2019 21:16:15 -0500 Subject: [PATCH] gitlab-ci: add valgrind job Signed-off-by: Jean Privat --- .gitlab-ci.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 7bb7ada..51f93e3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -328,6 +328,21 @@ build_more_tools: - src/version.nit - src/nitc_0 +valgrind: + stage: more_test + dependencies: + - build_more_tools + script: + - mkdir -p valgrind.out + - nitc src/nitc.nit # To warm-up the cache + - src/valgrind.sh --callgrind-out-file=valgrind.out/nitc.nitc.out nitc src/nitc.nit -vv + - callgrind_annotate valgrind.out/nitc.nitc.out > valgrind.out/nitc.nitc.txt + - src/valgrind.sh --callgrind-out-file=valgrind.out/niti.niti.out nit -- src/nit.nit tests/base_simple3.nit -vv + - callgrind_annotate valgrind.out/niti.niti.out > valgrind.out/niti.niti.txt + artifacts: + paths: + - valgrind.out + build_doc: stage: more_test dependencies: -- 1.7.9.5