diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-12-09 17:42:08 +0000 |
|---|---|---|
| committer | GitLab <gitlab@gitlab.com> | 2016-12-11 23:57:40 +0000 |
| commit | 6ded8a722ba602fc16812137e60282c0d6eb243e (patch) | |
| tree | 9840b3f5d56e13dfbe9e35897348c275d6a06fee /extensions | |
| parent | 508fa2bd30361f8ae2c5e230b1980e079909bf94 (diff) | |
| download | definitions-6ded8a722ba602fc16812137e60282c0d6eb243e.tar.gz | |
.gitlab-ci.yml: Serialize the ci a bit
So we have more runners available if we have serveral users using
the ci system
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions