diff options
| author | Emilio Jesus Gallego Arias | 2019-03-18 17:11:04 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-18 19:47:05 +0100 |
| commit | b6a939777f05da51cf1c9ba054e7539c449a1b12 (patch) | |
| tree | 1cc83f88845a0e4bdc0ebfe1504414a21d4a0377 /plugins/syntax/string_notation.mli | |
| parent | 9ac5483132b42e845a0708491843693b70893eef (diff) | |
[ci] Guard broken jobs under an `UNRELIABLE = enabled` variable.
This way, we can opt out of these development in our personal
pipelines, so we don't risk being throttled by Gitlab.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions