dash
dash copied to clipboard
Integrate Jenkins CI
TUD has a Jenkins CI server running that we could use to run our tests on multiple nodes of their cluster. This will cover a whole class of problems that are not covered by our current setup, as demonstrated in #374. Opening this issue to track progress.
I'm on it.