Started 9 mo 20 days ago
Took 1 min 44 sec

Build #17 (Feb 10, 2021, 6:05:09 AM)

Changes
  1. Switch sprotty dependency back to next (details / githubweb)

Branch indexing

Revision: 9a5dfd1cc2ebba5a2ce9e0dcba84bcd11020b184
Repository: https://github.com/eclipse/sprotty-theia.git
  • master
Test Result (no failures)