mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer-rs.git
synced 2024-11-25 19:11:06 +00:00
ci: make coverage job manual
It's broken atm, likely because of https://github.com/mozilla/grcov/issues/555
This commit is contained in:
parent
72f191b79b
commit
beee75dabe
1 changed files with 1 additions and 0 deletions
|
@ -435,6 +435,7 @@ coverage:
|
||||||
# output coverage summary for gitlab parsing
|
# output coverage summary for gitlab parsing
|
||||||
- lcov -r lcov "/*" 2&> out
|
- lcov -r lcov "/*" 2&> out
|
||||||
- grep lines out
|
- grep lines out
|
||||||
|
when: 'manual'
|
||||||
artifacts:
|
artifacts:
|
||||||
paths:
|
paths:
|
||||||
- 'coverage'
|
- 'coverage'
|
||||||
|
|
Loading…
Reference in a new issue