Nightly build of the Semantics theia branch

Build: #329 was successful

Job: Compile and Package Pragmatics Update Site was successful

Job result summary

Completed
Duration
5 minutes
Agent
hub-himem
Revisions
Pragmatics Theia
86a88abbb50a0b879810f90fca21260d5006ad86 86a88abbb50a0b879810f90fca21260d5006ad86
Pragmatics Libraries
769cdcd04a2ceacda86564caf9ec8c8e41f52c13 769cdcd04a2ceacda86564caf9ec8c8e41f52c13
Successful since
#326 ()