Continuously builds all pragmatics plug-ins upon repository changes.

Build: #2226 was successful Changes by Steven Smyth and Nis Wechselberg <nbw@informatik.uni-kiel.de>

Code commits

Models Repository