Skip to content
[Jenkins]Jenkins
log in
Started 6 mo 7 days ago
Took 10 min
Aborted

Build #52 (Dec 13, 2023, 8:24:17 AM)

Changes
  1. Allow to build Theia IDE based on local Theia sources #304 (details / githubweb)

Branch indexing

This run spent:

  • 20 sec waiting;
  • 10 min build duration;
  • 11 min total from scheduled to completion.
Revision: 11fa19591e5d2dcb0029b7ea84698b7b063ca513
Repository: https://github.com/eclipse-theia/theia-blueprint.git
  • jf/local-theia-build

Aborted by user Johannes Faltermeier