[gnome-shell] ci: Merge 'source_check' stage into 'review'
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] ci: Merge 'source_check' stage into 'review'
- Date: Tue, 23 Jul 2019 22:45:25 +0000 (UTC)
commit ed37ba1d9b8cf370704a8a22761c8e6415a7629c
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Jul 24 00:29:15 2019 +0200
ci: Merge 'source_check' stage into 'review'
GNOME apps use 'review' for the CI stage that generates and exports a
flatpak bundle after a successful build, so they need some other name
for anything that is checked before building; that's how we ended up
with the somewhat awkward 'source_check' stage (inherited from Polari).
But since the commit log check added a 'review' stage that runs pre-build,
use that for all checks that are performed before the build stage.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/627
.gitlab-ci.yml | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8dfb00190..7625b8711 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,5 @@
stages:
- review
- - source_check
- build
- test
@@ -26,7 +25,7 @@ check_commit_log:
js_check:
image: registry.gitlab.gnome.org/gnome/gnome-shell/extension-ci:v1
- stage: source_check
+ stage: review
script:
- find js -name '*.js' -exec js60 -c -s '{}' ';' 2>&1 | tee $JS_LOG
- (! grep -q . $JS_LOG)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]