diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-12-09 17:42:08 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-12-09 17:42:08 +0000 |
commit | 80ddd0ac5a6ae532b24355f00f8799f00c02c825 (patch) | |
tree | b648083781ff4df3acd0228d40105c0bb69898e5 /weston/systems | |
parent | 08958c0a34ab565b47957939821f4f95cc7106ce (diff) | |
download | definitions-80ddd0ac5a6ae532b24355f00f8799f00c02c825.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 'weston/systems')
0 files changed, 0 insertions, 0 deletions