Summary

[WIP] Add Jenkins CI documentation

Review Request #9846 — Created April 1, 2018 and submitted Jan. 16, 2019, 3:50 p.m. — Latest diff uploaded April 2, 2018, 11:50 a.m.

Owner

Repository

Review Board

Branch

master

Bugs

Depends On

~~9507~~

Commit

2f76543...

Groups

People

Description

This is a companion patch to the Jenkins CI integration patch. This adds
documentation on how to install and configure the Jenkins integration.

Testing Done

N/A.