Continuously builds all pragmatics plug-ins upon repository changes.

Build: #2210 was successful Changes by Ulf Rueegg <uru@informatik.uni-kiel.de>

Code commits

Models Repository