Save the coverity build log

2021-01-05 23:34:09 +00:00 · 2021-01-05 23:34:09 +00:00 · 1ff307d10f
parent e7b047660c
commit 1ff307d10f
1 changed files with 6 additions and 0 deletions
--- 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