Skip to content
Jenkins
log in
Dashboard
Gendoc-with-patches
#10
Status
Changes
Console Output
View Build Information
Git Build Data
Previous Build
Next Build
Started 6 yr 5 mo ago
Took
6.4 sec
#10 (Nov 13, 2017, 3:06:54 PM)
No changes.
Started by user
Antonio Campesino
Revision
: bc3c098334f6ca756b1f6dd390d33100747cac81
origin/master
![[Jenkins]](/gendoc/static/708fd5ef/images/svgs/logo.svg){kind=logo}
