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 /ivi | |
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 'ivi')
0 files changed, 0 insertions, 0 deletions