diff options
| author | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 13:47:39 +0200 |
|---|---|---|
| committer | Oliver Smith <osmith@sysmocom.de> | 2022-07-12 14:02:59 +0200 |
| commit | 451d6870364f24edd7db8a26afbddf083a0d17b8 (patch) | |
| tree | 667ffb36cee82730146248578ae8cd9a2f1288a0 | |
| parent | c42a20a8f1a608697f326141fe095c18e31a4872 (diff) | |
Revert "WIP: coverity: Make sure curl is installed, as our coverity upload job needs it"
Revert 3038c19155a7a2fb4b075a84449fc09d06bef59a, 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
| -rw-r--r-- | jobs/coverity.yml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/jobs/coverity.yml b/jobs/coverity.yml index 5614fc0..576fa29 100644 --- a/jobs/coverity.yml +++ b/jobs/coverity.yml @@ -2,19 +2,9 @@ - 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 defaults: global |