Continuously builds all pragmatics plug-ins upon repository changes.

Build: #2253 was successful Changes by Christian Schneider and Alexander Schulz-Rosengarten

Webhooks

No webhooks have been recorded.