Continuously builds all pragmatics plug-ins upon repository changes.

Build: #1186 was successful Changes by tit <tit@informatik.uni-kiel.de>

Metadata

There is no metadata available for this build.

Variables

No parameters have been manually overridden.