Skip to content
Jenkins
log in
Dashboard
release
Status
Changes
Modules
GitHub
Build History
trend
No builds
#18
Oct 13, 2020, 8:13 AM
#17
Oct 13, 2020, 5:41 AM
#16
Oct 13, 2020, 5:35 AM
#15
Oct 5, 2020, 3:19 PM
#14
Oct 5, 2020, 3:17 PM
Maven project release
Permalinks
Last build (#18), 3 yr 6 mo ago
Last stable build (#18), 3 yr 6 mo ago
Last successful build (#18), 3 yr 6 mo ago
Last failed build (#14), 3 yr 6 mo ago
Last unsuccessful build (#17), 3 yr 6 mo ago
Last completed build (#18), 3 yr 6 mo ago
![[Jenkins]](/texlipse/static/02b91abb/images/svgs/logo.svg){kind=logo}
