mirror/openmw
1
0
Fork 0
mirror of https://github.com/OpenMW/openmw.git synced 2025-02-07 00:15:34 +00:00
Code Issues Releases Wiki Activity

Debug coverity

Browse source
This commit is contained in:
elsid 2022-08-08 21:56:14 +02:00
parent 9c8e20a1eb
commit 3d322a6b2d
No known key found for this signature in database
GPG key ID: 4DE04C198CBA7625
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.gitlab-ci.yml
View file

@ -68,8 +68,8 @@ Coverity:
- linux
image: ubuntu:20.04
stage: build
rules:
- if: $CI_PIPELINE_SOURCE == "schedule"
# rules:
# - if: $CI_PIPELINE_SOURCE == "schedule"
cache:
key: Coverity.ubuntu_20.04.v1
paths: