diff options
| author | Emilio Jesus Gallego Arias | 2020-01-16 20:14:54 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-01-17 16:19:52 +0100 |
| commit | b4c7b84b49c2231fc284b098a5b82c20dcf02d01 (patch) | |
| tree | 4522ac1fc230f566f9ad1eef0b96dbc7858ee566 /dev/doc/xml-protocol.md | |
| parent | 55ded80878d47037e49ca9b60f89c422d184899f (diff) | |
[ci] [gitlab] Add `interruptible: true` to jobs.
When a newer pipeline contains the same job, the job can be
interrupted, see:
https://docs.gitlab.com/ee/ci/yaml/README.html#interruptible
This should help with job limits (c.f. #11320 )
The patch is a bit unsatisfactory due to the duplication needed;
we could define a base job and use extends, but not sure it is worth
it for now.
Diffstat (limited to 'dev/doc/xml-protocol.md')
0 files changed, 0 insertions, 0 deletions