From c317a876dda15dd3878a21425c3d3cb4e0405e4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 19 Nov 2020 00:14:25 +0100 Subject: [PATCH] ci: Switch to updated gnome-shell image gnome-shell now produces a CI image as part of its pipeline. Use that instead of the old, manually-updated image. https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/140 --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fcd0fbcf..42136326 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,4 +1,4 @@ -image: registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v2 +image: registry.gitlab.gnome.org/gnome/gnome-shell/fedora/33:2020-11-17.0 stages: - review @@ -25,7 +25,7 @@ check_commit_log: js_check: stage: review script: - - find extensions -name '*.js' -exec js68 -c -s '{}' ';' 2>&1 | tee $JS_LOG + - find extensions -name '*.js' -exec js78 -c '{}' ';' 2>&1 | tee $JS_LOG - (! grep -q . $JS_LOG) <<: *only_default artifacts: