Skip to content
Jenkins
log in
Dashboard
deploy-sprotty-layout
#6
Shell Script
Console Output
Up
Status
Console Output
Console Output
+ git config user.email eclipse-sprotty-bot@eclipse.org
![[Jenkins]](/sprotty/static/afa70eed/images/svgs/logo.svg){kind=logo}
