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 /strata/mtd-utilities.morph | |
| 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 'strata/mtd-utilities.morph')
0 files changed, 0 insertions, 0 deletions