![[Jenkins]](/sprotty/static/d2097de2/images/svgs/logo.svg){kind=logo}
Started 2 yr 11 mo ago
Took 1 min 45 sec
| Revision: bdc00f2d2a0879665e5a242e132220c1368746cd
Repository: https://github.com/eclipse/sprotty-server.git
|
| Revision: bdc00f2d2a0879665e5a242e132220c1368746cd
Repository: https://github.com/eclipse/sprotty-server.git
|