From 1ff307d10f3e21621e8b21c7f2a5463be0cd24da Mon Sep 17 00:00:00 2001 From: Ian McInerney Date: Tue, 5 Jan 2021 23:34:09 +0000 Subject: [PATCH] Save the coverity build log --- .gitlab/coverity.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.gitlab/coverity.yml b/.gitlab/coverity.yml index abdcc20c94..f38097c854 100644 --- a/.gitlab/coverity.yml +++ b/.gitlab/coverity.yml @@ -66,3 +66,9 @@ Coverity: -DKICAD_SPICE=ON - coverity/bin/cov-build --dir cov-int make -j8 - *coverity_submit + artifacts: + expire_in: 1 year + expose_as: 'Coverity log' + name: "coverity_log.txt" + paths: + - cov-int/build-log.txt