Build: #11 was successful Manual run by Niklas Rentz

Stages & jobs

  1. Build KLighD Dependency

  2. Deploy KLighD Dependency

  3. Build Pragmatics Dependency

  4. Deploy Pragmatics Dependency

  5. Build Update Site

  6. Deploy Update Site

  7. Build Product

  8. Build Theia App

  9. Deploy Product

Build result summary

Details

Completed
Queue duration
5 seconds
Duration
44 minutes
Labels
None
Revisions
Semantics
b6c878b4e3f5af5744f316d9918f1c7173245129 b6c878b4e3f5af5744f316d9918f1c7173245129
Pragmatics
d7d9163e85f2710a1b2d2a265e4088daa3715d90 d7d9163e85f2710a1b2d2a265e4088daa3715d90
Keith
c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2 c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2
KLighD
a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f
Successful since
#10 ()

Code commits

Keith
Author Commit Message Commit date
Niklas Rentz Niklas Rentz c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2 c3b908be6ad4c2ca10e8dfb9ae9f826bd4e585c2 language: start LS with 'java' as command and '-jar [path]' as args
Niklas Rentz Niklas Rentz bc5ca28118938f367671a6cda1a822ef5a857026 bc5ca28118938f367671a6cda1a822ef5a857026 Merge branch 'master' into no-eclipse
Niklas Rentz Niklas Rentz 14eae3340a29e17a0a50ee2e7dae845c5b524200 m 14eae3340a29e17a0a50ee2e7dae845c5b524200 keith-sprotty: rendering IDs use different field.
KLighD
Author Commit Message Commit date
Niklas Rentz Niklas Rentz a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f a2b14ab0a940a752674e133b1fc4f7eb1f9cda0f klighd.lsp: unique rendering IDs have an own property.
This way, they no longer overwrite the existing ID field on the
renderings, which may be used elsewhere. Also avoids the problem with
pre-existing IDs containing a $ sign, which breaks tracing the IDs back
to their renderings.
Fixes #58