Nightly build of the Semantics theia branch

Build: #105 was successful Changes by Niklas Rentz <stu114054@informatik.uni-kiel.de>

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

Code commits

Semantics Theia