Nightly build of the Semantics theia branch

Build: #121 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