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