diff --git a/.travis.yml b/.travis.yml index e790a1123..060741118 100644 --- a/.travis.yml +++ b/.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 diff --git a/travis/build.sh b/travis/build.sh index 49a1007bd..9dca49549 100755 --- a/travis/build.sh +++ b/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 diff --git a/travis/build_carl.sh b/travis/build_carl.sh index 5054e3d6d..2918a4af7 100755 --- a/travis/build_carl.sh +++ b/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 diff --git a/travis/generate_travis.py b/travis/generate_travis.py index 52a81a678..9d2f254a0 100644 --- a/travis/generate_travis.py +++ b/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