![[Jenkins]](/sprotty/static/b4b23d28/images/svgs/logo.svg){kind=logo}
Started 3 yr 9 mo ago
Took 2 hr 59 min
| Revision: ed829b6f2e70866d60b954df38173179f5c51740
Repository: https://github.com/eclipse/sprotty-server.git
| |
 | Aborted by user Miro Spoenemann |
| Revision: ed829b6f2e70866d60b954df38173179f5c51740
Repository: https://github.com/eclipse/sprotty-server.git
| |
| Aborted by user Miro Spoenemann |