Travis: allow multiple tasks

.travis.yml

@@ -28,7 +28,7 @@ jobs:
     # Docker Storm master
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Release DOCKER=storm:travis PYTHON=python3
+      env: TASK=TestDocker CONFIG=Release DOCKER=storm:travis PYTHON=python3
       script:
         travis/build.sh
       deploy:
@@ -38,7 +38,7 @@ jobs:
     # Docker Storm master in debug mode
     - os: linux
       compiler: gcc
-      env: TASK=Test CONFIG=Debug DOCKER=storm:travis-debug PYTHON=python3
+      env: TASK=TestDocker CONFIG=Debug DOCKER=storm:travis-debug PYTHON=python3
       script:
         travis/build.sh
       deploy:

travis/build-helper.sh

@@ -58,27 +58,23 @@ run() {
   esac
   travis_fold end build_stormpy
 
-  # Perform task
-  case $TASK in
-  Test*)
+  # Perform tasks
+  if [[ "$TASK" == *Test* ]]
+  then
     # Run tests
     set +e
     python setup.py test
-    ;;
+  fi
 
-  Documentation*)
+  if [[ "$TASK" == *Documentation* ]]
+  then
     # Generate documentation
     pip install sphinx sphinx_bootstrap_theme
     cd doc
     make html
     touch build/html/.nojekyll
     rm -r build/html/_sources
-    ;;
-
-  *)
-    echo "Unrecognized value of TASK: $TASK"
-    exit 1
-  esac
+  fi
 }