diff options
author | 2020-04-14 16:31:43 +0000 | |
---|---|---|
committer | 2020-04-14 16:31:43 +0000 | |
commit | 972925afb7578a519e3447fcbeb013264b58286d (patch) | |
tree | e6c019dc61563a0d926eecc8a8a1693bc2c1b723 /jjb | |
parent | e04c4b1ba4740bcc4b891a4bab814c720ad84973 (diff) | |
parent | bd2282e325626b472cbd9ac6dbbaed4dcfb9e57f (diff) |
Merge "Add doc linters"
Diffstat (limited to 'jjb')
-rw-r--r-- | jjb/integration/integration.yaml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/jjb/integration/integration.yaml b/jjb/integration/integration.yaml index 5111c4d30..5b211d745 100644 --- a/jjb/integration/integration.yaml +++ b/jjb/integration/integration.yaml @@ -101,6 +101,14 @@ tox-dir: '.' tox-envs: 'py' pattern: '**/*.py' + - 'rst': + tox-dir: '.' + tox-envs: 'rst' + pattern: '**/*.rst' + - 'md': + tox-dir: '.' + tox-envs: 'md' + pattern: '**/*.md' stream: - 'master': branch: 'master' |