From 55ecd3939e18d15bf3920de4a5e44b276a4e0834 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 28 Feb 2019 23:33:49 +0100 Subject: [PATCH] ci: Switch to extension-ci image gnome-shell now provides a docker image with useful tools for extension CI; as it contains everything we need, we can speed up CI by not running the package manager. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/58 --- .gitlab-ci.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 72c42e0b..9bd1f9d9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,7 +21,7 @@ check_commit_log: - merge_requests eslint: - image: registry.gitlab.gnome.org/gnome/gjs:fedora.static-analysis + image: registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1 stage: source_check script: - sh lint/generate-report.sh -o $LINT_LOG || { cat $LINT_LOG; false; } @@ -32,10 +32,8 @@ eslint: when: on_failure build-shell-extensions: - image: fedora:latest + image: registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1 stage: build - before_script: - - dnf install -y meson gettext mozjs60-devel script: - meson _build . - ninja -C _build test install