| commit | 0a8c3c754c3ca5d1d34ec2dde21423524a32559c | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 07 16:26:52 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 07 16:26:52 2017 +0200 |
| tree | 5861cbc371e38b2a857d477e31c67be8c51a860c | |
| parent | 9db5720aee118d414d1a4f84780b16f28bc557f7 [diff] |
Fix: Try to run tests in a Docker-only environment. Signed-off-by: Manuel Peuster <manuel@peuster.de>