diff options
| author | Théo Zimmermann | 2020-01-17 19:37:22 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-01-17 19:37:22 +0100 |
| commit | 58a9fa018995aa59e30bb7156a6c91b640f88730 (patch) | |
| tree | 4522ac1fc230f566f9ad1eef0b96dbc7858ee566 /dev | |
| parent | 55ded80878d47037e49ca9b60f89c422d184899f (diff) | |
| parent | b4c7b84b49c2231fc284b098a5b82c20dcf02d01 (diff) | |
Merge PR #11410: [ci] [gitlab] Add `interruptible: true` to jobs.
Reviewed-by: Zimmi48
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions