From 74f71c1ee743c4a28b8257609d161581e9f9d371 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 31 Jan 2018 10:25:41 +0100
Subject: [PATCH] Use travis docker images

---
 .travis.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 4fd3e7c..d872fac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -29,7 +29,7 @@ jobs:
     # docker storm:latest
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Release DOCKER=storm:latest PYTHON=python3
+      env: TASK=Test CONFIG=Release DOCKER=storm:travis PYTHON=python3
       install:
         travis/install_linux.sh
       script:
@@ -37,7 +37,7 @@ jobs:
     # docker storm-debug:latest
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Debug DOCKER=storm-debug:latest PYTHON=python3
+      env: TASK=Test CONFIG=Debug DOCKER=storm-debug:travis PYTHON=python3
       install:
         travis/install_linux.sh
       script:
@@ -45,7 +45,7 @@ jobs:
     # Documentation
     - os: linux
       compiler: gcc
-      env: TASK=Documentation CONFIG=Release DOCKER=storm:latest PYTHON=python3
+      env: TASK=Documentation CONFIG=Release DOCKER=storm:travis PYTHON=python3
       install:
         travis/install_linux.sh
       script: