diff --git a/.travis.yml b/.travis.yml index 0769acd..c327b7a 100644 --- a/.travis.yml +++ b/.travis.yml @@ -29,7 +29,15 @@ jobs: # docker storm:latest - os: linux compiler: gcc - env: TASK=Test DOCKER=latest PYTHON=python3 + env: TASK=Test DOCKER=storm:latest PYTHON=python3 + install: + travis/install_linux.sh + script: + travis/build.sh + # docker storm-debug:latest + - os: linux + compiler: gcc + env: TASK=Test DOCKER=storm-debug:latest PYTHON=python3 install: travis/install_linux.sh script: @@ -37,7 +45,7 @@ jobs: # Documentation - os: linux compiler: gcc - env: TASK=Documentation DOCKER=latest PYTHON=python3 + env: TASK=Documentation DOCKER=storm:latest PYTHON=python3 install: travis/install_linux.sh script: diff --git a/travis/build.sh b/travis/build.sh index 0e9ad93..0fa702d 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/storm:$DOCKER + docker run -d -it --name stormpy --privileged mvolk/$DOCKER # Copy local content into container docker exec stormpy mkdir opt/stormpy docker cp . stormpy:/opt/stormpy