![[Jenkins]](/xtext/static/ed7b78d5/images/svgs/logo.svg){kind=logo}
Started 3 yr 9 mo ago
Took 2 min 41 sec
Push event to branch sz_removeLastConsumedNode at 6:15:44 AM on Aug 26, 2020 | |
| Revision: 34f6d014d0827255e5a13a4b4136429d67f74040
Repository: https://github.com/eclipse/xtext-core.git
|
Push event to branch sz_removeLastConsumedNode at 6:15:44 AM on Aug 26, 2020 | |
| Revision: 34f6d014d0827255e5a13a4b4136429d67f74040
Repository: https://github.com/eclipse/xtext-core.git
|