[WIP] Add Jenkins CI documentation

 






 

 


  Review Request #9846
  —
  Created April 1, 2018 and submitted  — Latest diff uploaded 

 


















 

  

   Information

  





 
 

  jshephard
 









 
 

  Review Board
 









 
 

  master
 









 
 

  
 









 
 

  9507
 









 
 

  2f76543...
 






 




 

  

   Reviewers

  





 
 

  reviewboard, students
 









 
 

  
 






 








 





  


 
 

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

 








  


 
 

  
N/A.