Skip to content
[Jenkins]Jenkins
log in
Started 6 mo 6 days ago
Took 5 min 0 sec
Aborted

Build #48 (Dec 13, 2023, 8:12:00 AM)

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

Branch indexing

This run spent:

  • 33 sec waiting;
  • 5 min 0 sec build duration;
  • 5 min 7 sec total from scheduled to completion.
Revision: 22efae0f34ca49764f33f9ac96048b7c2e3454e2
Repository: https://github.com/eclipse-theia/theia-blueprint.git
  • jf/local-theia-build

Aborted by user Johannes Faltermeier