Continuously builds all pragmatics plug-ins upon repository changes.

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

Test results

  • 869 tests in total
  • 1 minute taken in total.

See detailed test results for Compile and Test.