[gnome-panel] ci: add back extra coverity dependencies
- From: Alberts Muktupāvels <muktupavels src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-panel] ci: add back extra coverity dependencies
- Date: Wed, 1 Apr 2020 00:22:01 +0000 (UTC)
commit 6e59d22271a95afd174b19b154934a996555f64a
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date: Wed Apr 1 03:21:48 2020 +0300
ci: add back extra coverity dependencies
.gitlab-ci.yml | 4 ++++
1 file changed, 4 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 347003508..9cc547bf1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,6 +58,10 @@ coverity:
before_script:
- apt-get update
- *install-ubuntu-dependencies
+ - apt-get install -q -y --no-install-recommends
+ ca-certificates
+ clang
+ curl
script:
- curl https://scan.coverity.com/download/linux64
--data "token=$COVERITY_TOKEN&project=gnome-panel"
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]