[gnome-applets/wip/muktupavels/build-gnome-panel] ci: build gnome-panel

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 17a2d411c7a68b7e30eb49fde907cb21cf655f77
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Wed Apr 1 19:17:35 2020 +0300

    ci: build gnome-panel

 .gitlab-ci.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 73f15334d..1c5d6f7a5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,6 +35,14 @@ variables:
                   x11proto-dev
                   yelp-tools
 
+.build-gnome-panel: &build-gnome-panel
+  - git clone https://gitlab.gnome.org/GNOME/gnome-panel.git
+  - cd gnome-panel
+  - ./autogen.sh --disable-Werror --disable-gtk-doc --prefix=/usr
+  - make
+  - make install
+  - cd ..
+
 ubuntu:
   image: ubuntu:devel
   stage: build
@@ -43,6 +51,7 @@ ubuntu:
   before_script:
     - apt-get update
     - *install-ubuntu-dependencies
+    - *build-gnome-panel
   script:
     - ./autogen.sh --disable-Werror
     - make
@@ -59,6 +68,7 @@ coverity:
                       ca-certificates
                       clang
                       curl
+    - *build-gnome-panel
   script:
     - curl https://scan.coverity.com/download/linux64
       --data "token=$COVERITY_TOKEN&project=gnome-applets"