summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpsi29a <psi29a@gmail.com>2022-01-08 21:12:15 +0000
committerpsi29a <psi29a@gmail.com>2022-01-08 21:12:15 +0000
commit99e4cbf51397b749f73b748418616aea48da09ef (patch)
tree2fd326dcc38760588ef6f10fd1e35879a1ea8edd
parenta50662f7dbbe47fa87f491568ea23bfb2715424e (diff)
parent5d7db94a233a9ad30277d936530427bf6bd36979 (diff)
Merge branch 'coverity_artifacts' into 'master'
Keep coverity logs as artifacts instead of deploying them See merge request OpenMW/openmw!1542
-rw-r--r--.gitlab-ci.yml5
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 105057b860..8275df7572 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -81,14 +81,13 @@ Coverity:
--form token=$COVERITY_SCAN_TOKEN --form email=$GITLAB_USER_EMAIL
--form file=@cov-int.tar.gz --form version="$CI_COMMIT_REF_NAME:$CI_COMMIT_SHORT_SHA"
--form description="CI_COMMIT_SHORT_SHA / $CI_COMMIT_TITLE / $CI_COMMIT_REF_NAME:$CI_PIPELINE_ID"
- - cat /builds/OpenMW/openmw/cov-int/build-log.txt
variables:
CC: clang
CXX: clang++
CXXFLAGS: -O0
artifacts:
- paths: []
- expire_in: 1 minute
+ paths:
+ - /builds/OpenMW/openmw/cov-int/build-log.txt
Ubuntu_GCC:
extends: .Ubuntu