diff options
| author | Gaëtan Gilbert | 2018-05-14 14:04:16 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-05-14 15:51:49 +0200 |
| commit | 413bb2cf6a2eafd06e9ae1da7dcec749ab6f227b (patch) | |
| tree | 9df1b47a2222a565019142904ae2f4e3a3a5f182 /dev/ci | |
| parent | f3ef7928b2d92a93ad9da28bb703ba4a5e715880 (diff) | |
Gitlab: skip docker job when $SKIP_DOCKER == "true".
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions