Nightly build of the Semantics theia branch

Stages & jobs

  1. Build Pragmatics Dependency

  2. Deploy Pragmatics Dependency

  3. Build Update Site

  4. Deploy Update Site

  5. Build Product

  6. Build Theia App

  7. Deploy Product

Build result summary

Details

Completed
Duration
1 minute
Labels
None
Revisions
Semantics Theia
4d7af7169d059c7e7b4d8b608557a5842daede3a 4d7af7169d059c7e7b4d8b608557a5842daede3a
Pragmatics Theia
6e681397959b708a058247674f897c700bf83407 6e681397959b708a058247674f897c700bf83407
Pragmatics Libraries
769cdcd04a2ceacda86564caf9ec8c8e41f52c13 769cdcd04a2ceacda86564caf9ec8c8e41f52c13
Fixed in
#148 (Changes by Soeren Domroes)
No failed test found. A possible compilation error occurred.

Responsible

No one has taken responsibility for this failure

Code commits

Semantics Theia
Author Commit Message Commit date
Niklas Rentz <stu114054@informatik.uni-kiel.de> Niklas Rentz <stu114054@informatik.uni-kiel.de> 4d7af7169d059c7e7b4d8b608557a5842daede3a 4d7af7169d059c7e7b4d8b608557a5842daede3a diagram-options: removes waitForDiagram parameter in getOptions message
Niklas Rentz <stu114054@informatik.uni-kiel.de> Niklas Rentz <stu114054@informatik.uni-kiel.de> 9721549183dabad2d5615231bd0b69b19fc27ec6 9721549183dabad2d5615231bd0b69b19fc27ec6 Diagramoptions-view: now opens after a new model in  diagram view opens
Pragmatics Theia
Author Commit Message Commit date
Niklas Rentz <stu114054@informatik.uni-kiel.de> Niklas Rentz <stu114054@informatik.uni-kiel.de> 6e681397959b708a058247674f897c700bf83407 6e681397959b708a058247674f897c700bf83407 klighd-lsp: repaired applying options received from the server in special cases.
Niklas Rentz <stu114054@informatik.uni-kiel.de> Niklas Rentz <stu114054@informatik.uni-kiel.de> 55a97644e5aef08b9fdd9161cea7c72be7b16eaa 55a97644e5aef08b9fdd9161cea7c72be7b16eaa klighd-lsp: removes waitForDiagram parameter in getOptions message
Niklas Rentz <stu114054@informatik.uni-kiel.de> Niklas Rentz <stu114054@informatik.uni-kiel.de> d4509d2aeb95fd2518e7eb35442c616378351280 d4509d2aeb95fd2518e7eb35442c616378351280 klighd-lsp: Handling diagrams for different URIs now with different diagram servers