diff options
author | 2018-08-28 07:10:05 +0300 | |
---|---|---|
committer | 2018-08-29 13:13:16 +0300 | |
commit | c87309f5a75ccc5d595f708817b97793c24c4387 (patch) | |
tree | 49377439ba641063ec9f5d78339ecb970acf7603 /docs/infra/jenkins | |
parent | 15ccaf5db6e057878c2ebd12abdf6c0636adc29b (diff) |
Add Doctor maintenance job
Change-Id: I1d5d83df75f25ae3f54a660e5a0cba4290a1510b
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
Diffstat (limited to 'docs/infra/jenkins')
0 files changed, 0 insertions, 0 deletions