mirror of
https://github.com/OpenMW/openmw.git
synced 2025-06-28 16:41:34 +00:00
Merge branch 'artifacts_coverity' into 'master'
Don't save artifacts when using coverity See merge request OpenMW/openmw!1135
This commit is contained in:
commit
0505a31540
1 changed files with 1 additions and 1 deletions
|
@ -53,7 +53,7 @@ Coverity:
|
|||
variables:
|
||||
CC: gcc
|
||||
CXX: g++
|
||||
timeout: 8h
|
||||
artifacts:
|
||||
|
||||
Debian_GCC:
|
||||
extends: .Debian
|
||||
|
|
Loading…
Reference in a new issue