diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-04-10 12:51:02 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-07-14 11:15:31 +0100 |
| commit | 15c82c8605d6b39763d87e35c601f427eae21bcd (patch) | |
| tree | 7133d0519ab17b1b2def1cdd8c3c4c66b3e42a1e | |
| parent | 3e905e0269d39cb0f30aff421a44ec90a80ed091 (diff) | |
| download | definitions-15c82c8605d6b39763d87e35c601f427eae21bcd.tar.gz | |
Build converted GNOME system
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 11b639fd..d7c01a59 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -40,6 +40,11 @@ validate-all-definitions: script: - python spec/quick_check.py . +bst-gnome-build-64: + stage: build-1 + script: + - bst definitions/gnome/gnome-system-x86_64.bst + build-system-x86_64-chroot-build: stage: build-1 script: |