Travis: use movesrwth docker containers

.travis.yml

@@ -48,8 +48,8 @@ jobs:
         - travis/build_carl.sh
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit carl mvolk/carl:travis-debug;
-        - docker push mvolk/carl:travis-debug;
+        - docker commit carl movesrwth/carl:travis-debug;
+        - docker push movesrwth/carl:travis-debug;
     # ubuntu-17.10 - DefaultReleaseTravis
     - stage: Build Carl
       os: linux
@@ -61,8 +61,8 @@ jobs:
         - travis/build_carl.sh
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit carl mvolk/carl:travis;
-        - docker push mvolk/carl:travis;
+        - docker commit carl movesrwth/carl:travis;
+        - docker push movesrwth/carl:travis;
 
     ###
     # Stage: Build (1st run)
@@ -341,8 +341,8 @@ jobs:
         - find build -iname '*err*.log' -type f -print -exec cat {} \;
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit storm mvolk/storm:travis-debug;
-        - docker push mvolk/storm:travis-debug;
+        - docker commit storm movesrwth/storm:travis-debug;
+        - docker push movesrwth/storm:travis-debug;
     # ubuntu-17.10 - DefaultReleaseTravis
     - stage: Test all
       os: linux
@@ -358,8 +358,8 @@ jobs:
         - find build -iname '*err*.log' -type f -print -exec cat {} \;
       after_success:
         - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";
-        - docker commit storm mvolk/storm:travis;
-        - docker push mvolk/storm:travis;
+        - docker commit storm movesrwth/storm:travis;
+        - docker push movesrwth/storm:travis;
   allow_failures:
     - stage: Build (1st run)
       os: linux

travis/build.sh

@@ -28,13 +28,13 @@ linux)
     set -e
     case "$CONFIG" in
     *DebugTravis)
-        docker run -d -it --name storm --privileged mvolk/carl:travis-debug
+        docker run -d -it --name storm --privileged movesrwth/carl:travis-debug
         ;;
     *ReleaseTravis)
-        docker run -d -it --name storm --privileged mvolk/carl:travis
+        docker run -d -it --name storm --privileged movesrwth/carl:travis
         ;;
     *)
-        docker run -d -it --name storm --privileged mvolk/storm-basesystem:$LINUX
+        docker run -d -it --name storm --privileged movesrwth/storm-basesystem:$LINUX
         ;;
     esac
     # Copy local content into container

travis/build_carl.sh

@@ -12,7 +12,7 @@ linux)
     docker rm -f carl &>/dev/null
     # Run container
     set -e
-    docker run -d -it --name carl --privileged mvolk/storm-basesystem:$LINUX
+    docker run -d -it --name carl --privileged movesrwth/storm-basesystem:$LINUX
     # Copy local content into container
     docker cp travis/build_carl_helper.sh carl:/opt/
     set +e

travis/generate_travis.py

@@ -92,11 +92,11 @@ if __name__ == "__main__":
             buildConfig += "      after_success:\n"
             buildConfig += '        - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";\n'
             if "Debug" in build_type:
-                buildConfig += "        - docker commit carl mvolk/carl:travis-debug;\n"
-                buildConfig += "        - docker push mvolk/carl:travis-debug;\n"
+                buildConfig += "        - docker commit carl movesrwth/carl:travis-debug;\n"
+                buildConfig += "        - docker push movesrwth/carl:travis-debug;\n"
             elif "Release" in build_type:
-                buildConfig += "        - docker commit carl mvolk/carl:travis;\n"
-                buildConfig += "        - docker push mvolk/carl:travis;\n"
+                buildConfig += "        - docker commit carl movesrwth/carl:travis;\n"
+                buildConfig += "        - docker push movesrwth/carl:travis;\n"
             else:
                 assert False
             s += buildConfig
@@ -160,11 +160,11 @@ if __name__ == "__main__":
                 buildConfig += "      after_success:\n"
                 buildConfig += '        - docker login -u "$DOCKER_USERNAME" -p "$DOCKER_PASSWORD";\n'
                 if "Debug" in build_type:
-                    buildConfig += "        - docker commit storm mvolk/storm:travis-debug;\n"
-                    buildConfig += "        - docker push mvolk/storm:travis-debug;\n"
+                    buildConfig += "        - docker commit storm movesrwth/storm:travis-debug;\n"
+                    buildConfig += "        - docker push movesrwth/storm:travis-debug;\n"
                 elif "Release" in build_type:
-                    buildConfig += "        - docker commit storm mvolk/storm:travis;\n"
-                    buildConfig += "        - docker push mvolk/storm:travis;\n"
+                    buildConfig += "        - docker commit storm movesrwth/storm:travis;\n"
+                    buildConfig += "        - docker push movesrwth/storm:travis;\n"
                 else:
                     assert False
             s += buildConfig