Merge branch 'coverity_artifacts' into 'master'

Keep coverity logs as artifacts instead of deploying them

See merge request OpenMW/openmw!1542

.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