<div dir="ltr"><div><div>As I started preparing for converting 3.0-dev branch to be master, I realized that the docs builders need to be updated for this change. Rather than update the Jenkins jobs, I would like to move all the jobs to Travis. <br><br></div>Does anyone object to this?<br><br></div>-Dennis<br></div>