mirror of https://gerrit.osmocom.org/osmo-ci
Revert "WIP: coverity: Make sure curl is installed, as our coverity upload job needs it"
Revert 3038c19155
, which adds a second
osmocom-coverity-deps job that apparently was never deployed (or was
deployed and then deleted). The mentioned curl dependency shouldn't go
here either.
Change-Id: I5d4709c0019ef4bae6ccbd11c28eeb23d75692c1
This commit is contained in:
parent
c42a20a8f1
commit
451d687036
|
@ -2,18 +2,8 @@
|
|||
- project:
|
||||
name: osmocom-coverity
|
||||
jobs:
|
||||
- osmocom-coverity-deps
|
||||
- osmocom-coverity
|
||||
|
||||
- job:
|
||||
name: 'osmocom-coverity-deps'
|
||||
apt:
|
||||
name: "{{ item }}"
|
||||
cache_valid_time: 3600
|
||||
update_cache: yes
|
||||
with_items:
|
||||
- curl
|
||||
|
||||
- job:
|
||||
name: 'osmocom-coverity'
|
||||
project-type: freestyle
|
||||
|
|
Loading…
Reference in New Issue