diff --git a/travis/build.sh b/travis/build.sh index 745305b..209a1b3 100755 --- a/travis/build.sh +++ b/travis/build.sh @@ -11,7 +11,7 @@ linux) docker rm -f stormpy &>/dev/null # Run container set -e - docker run -d -it --name stormpy --privileged mvolk/$DOCKER + docker run -d -it --name stormpy --privileged movesrwth/$DOCKER # Copy local content into container docker exec stormpy mkdir opt/stormpy docker cp . stormpy:/opt/stormpy