Started 8 mo 14 days ago
Took 2 min 6 sec

Build #7 (Feb 10, 2021, 6:06:59 AM)

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

Started by upstream project sprotty-theia ยป master build number 17
originally caused by:

  • Branch indexing
Revision: 9a5dfd1cc2ebba5a2ce9e0dcba84bcd11020b184
Repository: https://github.com/eclipse/sprotty-theia.git
  • refs/remotes/origin/master